Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic

Authors and titles for recent submissions

See today's new changes

Total of 32 entries : 1-25 26-32
Showing up to 25 entries per page: fewer | more | all

Fri, 21 Jun 2024 (showing 9 of 9 entries )

[1] arXiv:2406.14094 [pdf, html, other]
Title: Logical reduction of relations: from relational databases to Peirce's reduction thesis
Sergiy Koshkin
Comments: 31 pages, 4 figures
Journal-ref: Logic Journal of the IGPL, 2023
Subjects: Logic (math.LO); Databases (cs.DB); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)
[2] arXiv:2406.14058 [pdf, html, other]
Title: Is Peirce's reduction thesis gerrymandered?
Sergiy Koshkin
Comments: 24 pages, 8 figures
Journal-ref: Transactions of the Charles S. Peirce Society, 58 (2022) no.4, 271-300
Subjects: Logic (math.LO)
[3] arXiv:2406.13485 [pdf, html, other]
Title: Fra\"iss\'e's conjecture, partial impredicativity and well-ordering principles, part I
Anton Freund
Subjects: Logic (math.LO)
[4] arXiv:2406.13108 [pdf, html, other]
Title: Distinguishing Martin's axiom from its restrictions
Yinhe Peng
Subjects: Logic (math.LO)
[5] arXiv:2406.14509 (cross-list from math.GN) [pdf, html, other]
Title: Consistency and independence phenomena involving cellular-Lindelof spaces
Rodrigo Hernández-Gutiérrez, Santi Spadaro
Subjects: General Topology (math.GN); Logic (math.LO)
[6] arXiv:2406.14402 (cross-list from cs.LO) [pdf, html, other]
Title: Logic-based analogical proportions
Christian Antić
Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Logic (math.LO)
[7] arXiv:2406.14346 (cross-list from math.CT) [pdf, html, other]
Title: Atomic Toposes with Co-Well-Founded Categories of Atoms
Jérémie Marquès
Subjects: Category Theory (math.CT); Logic (math.LO)
[8] arXiv:2406.13657 (cross-list from cs.LO) [pdf, html, other]
Title: The strength of the dominance rule
Leszek Aleksander Kołodziejczyk, Neil Thapen
Comments: To appear in the proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[9] arXiv:2406.13529 (cross-list from cs.DM) [pdf, other]
Title: GMSNP and Finite Structures
Santiago Guzmán-Pro
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO); Logic (math.LO)

Wed, 19 Jun 2024 (showing 6 of 6 entries )

[10] arXiv:2406.12776 [pdf, html, other]
Title: Axiom $\mathcal{A}$ and supercompactness
Alejandro Poveda
Subjects: Logic (math.LO)
[11] arXiv:2406.12482 [pdf, html, other]
Title: On all numbers great and small (Topological fields of Conway's numbers and their completions)
Ju. T. Lisica
Subjects: Logic (math.LO)
[12] arXiv:2406.12791 (cross-list from math.CV) [pdf, html, other]
Title: Hilbert's tenth problem for rings of holomorphic functions of bounded order
Hector Pasten
Subjects: Complex Variables (math.CV); Logic (math.LO); Number Theory (math.NT)
[13] arXiv:2406.12777 (cross-list from math.DS) [pdf, html, other]
Title: Medvedev degrees of subshifts on groups
Sebastián Barbieri, Nicanor Carrasco-Vargas
Comments: 25 pages
Subjects: Dynamical Systems (math.DS); Group Theory (math.GR); Logic (math.LO)
[14] arXiv:2406.12540 (cross-list from math.CO) [pdf, html, other]
Title: Heritability of K\H{o}nig's Property from finite edge sets
Marc Kaufmann, Dominic van der Zypen
Comments: 8 pages
Subjects: Combinatorics (math.CO); Logic (math.LO)
[15] arXiv:2406.12143 (cross-list from math.GR) [pdf, other]
Title: Aspects of automatic continuity
Christian Rosendal, Luis Carlos Suarez
Subjects: Group Theory (math.GR); Logic (math.LO)

Tue, 18 Jun 2024 (showing 10 of 10 entries )

[16] arXiv:2406.10924 [pdf, html, other]
Title: Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
Eitetsu Ken, Mykyta Narusevych
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[17] arXiv:2406.10770 [pdf, html, other]
Title: Modal logics of almost sure validities in some classes of euclidean and transitive frames
Vladislav Sliusarev
Comments: 15 pages + 3 pages references, appendix
Subjects: Logic (math.LO)
[18] arXiv:2406.10716 [pdf, html, other]
Title: On two recent extensions of the Big Five of Reverse Mathematics
Dag Normann, Sam Sanders
Comments: 26 pages, one appendix
Subjects: Logic (math.LO)
[19] arXiv:2406.10698 [pdf, html, other]
Title: On a cofinal Reinhardt embedding without Powerset
Hanul Jeon
Comments: 13 pages
Subjects: Logic (math.LO)
[20] arXiv:2406.10649 [pdf, html, other]
Title: A Coalgebraic Semantics for Intuitionistic Modal Logic
Rodrigo Nicolau Almeida, Nick Bezhanishvili
Comments: 19 pages, Accepted at AIML 2024
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[21] arXiv:2406.10564 [pdf, html, other]
Title: Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
Daniel Mourad
Comments: 36 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[22] arXiv:2406.10532 [pdf, html, other]
Title: Exponentiable linear orders need not be transitive
Mihir Mittal, Amit Kuber
Comments: 10 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[23] arXiv:2406.10463 [pdf, html, other]
Title: An almost Kurepa Suslin tree with strongly non-saturated square
John Krueger, Eduardo Martinez Mendoza
Subjects: Logic (math.LO)
[24] arXiv:2406.11223 (cross-list from math.FA) [pdf, html, other]
Title: Coordinate systems in Banach spaces and lattices
Antonio Avilés, Christian Rosendal, Mitchell A. Taylor, Pedro Tradacete
Subjects: Functional Analysis (math.FA); Logic (math.LO)
[25] arXiv:2406.11076 (cross-list from math.CT) [pdf, other]
Title: Bundles of metric structures as left ultrafunctors
Ali Hamad
Subjects: Category Theory (math.CT); Functional Analysis (math.FA); Logic (math.LO)
Total of 32 entries : 1-25 26-32
Showing up to 25 entries per page: fewer | more | all