We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for math.LO in Nov 2021

[ total of 79 entries: 1-25 | 26-50 | 51-75 | 76-79 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2111.00455 [pdf, ps, other]
Title: Constructions of Kleene lattices
Subjects: Logic (math.LO)
[2]  arXiv:2111.00456 [pdf, ps, other]
Title: A generalized Cantor theorem in ZF
Comments: 8 pages
Subjects: Logic (math.LO)
[3]  arXiv:2111.00516 [pdf, ps, other]
Title: Gács-Kučera's Theorem Revisited by Levin
Authors: Alexander Shen
Subjects: Logic (math.LO); Information Theory (cs.IT)
[4]  arXiv:2111.00573 [pdf, ps, other]
Title: Undecidability in First-Order Theories of Term Algebras Extended with a Substitution Operator
Subjects: Logic (math.LO)
[5]  arXiv:2111.00632 [pdf, ps, other]
Title: Ken's colorful questions
Comments: 18 pages, accepted in the special edition in honor of Kennneth Kunen of Topology
Subjects: Logic (math.LO); Combinatorics (math.CO); General Topology (math.GN)
[6]  arXiv:2111.01213 [pdf, ps, other]
Title: Finite Representation Property for Relation Algebra Reducts
Authors: Jaš Šemrl
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[7]  arXiv:2111.01630 [pdf, other]
Title: Transfinite game values in infinite games
Authors: Davide Leonessi
Comments: 68 pages, 45 figures. Master's dissertation under the supervision of Prof. Joel David Hamkins. Commentary can be made at this http URL
Subjects: Logic (math.LO); Combinatorics (math.CO)
[8]  arXiv:2111.01704 [pdf, ps, other]
Title: Hanf numbers for Extendibility and related phenomena
Comments: 26 pages
Subjects: Logic (math.LO)
[9]  arXiv:2111.01709 [pdf, ps, other]
Title: Maximal models up to the first measurable in ZFC
Authors: John T. Baldwin (University of Illinois at Chicago), Saharon Shelah (Hebrew University of Jerusalem)
Comments: 27 pages
Subjects: Logic (math.LO)
[10]  arXiv:2111.01883 [pdf, ps, other]
Title: Cyclic Shift in the Lambek Calculus
Subjects: Logic (math.LO); Formal Languages and Automata Theory (cs.FL)
[11]  arXiv:2111.02053 [pdf, ps, other]
Title: Transfinite game values in infinite draughts
Comments: 15 pages, 12 figures. Adapted from chapter 3 of the second author's MSc dissertation arXiv:2111.01630, for which he earned a distinction at the University of Oxford in September 2021. Commentary can be made about this article on the first author's blog at this http URL
Subjects: Logic (math.LO); Computer Science and Game Theory (cs.GT); Combinatorics (math.CO)
[12]  arXiv:2111.02095 [pdf, ps, other]
Title: Henselianity in NIP $\mathbb{F}_p$-algebras
Authors: Will Johnson
Comments: 14 pages
Subjects: Logic (math.LO)
[13]  arXiv:2111.02389 [pdf, ps, other]
Title: On rank not only in NSOP1 theories
Subjects: Logic (math.LO)
[14]  arXiv:2111.02939 [pdf, ps, other]
Title: Effective weak and vague convergence of measures on the real line
Authors: Diego A. Rojas
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[15]  arXiv:2111.03683 [pdf, ps, other]
Title: On Homomorphism Graphs
Subjects: Logic (math.LO); Distributed, Parallel, and Cluster Computing (cs.DC); Combinatorics (math.CO)
[16]  arXiv:2111.03802 [pdf, other]
Title: Types, transversals and definable compactness in o-minimal structures
Subjects: Logic (math.LO); General Topology (math.GN)
[17]  arXiv:2111.03856 [pdf, ps, other]
Title: Another proof that $\mathsf{MM}^{++}$ implies Woodin's axiom $(*)$
Authors: Matteo Viale
Subjects: Logic (math.LO)
[18]  arXiv:2111.05038 [pdf, ps, other]
Title: Constructions of Lindelöf scattered P-spaces
Comments: 14 pages
Subjects: Logic (math.LO); General Topology (math.GN)
[19]  arXiv:2111.05052 [pdf, ps, other]
Title: Between Turing and Kleene
Authors: Sam Sanders
Comments: 20 pages, to appear in the Proceedings of LFCS22, Lecture Notes in Computer Science. Keywords: Computability theory, Kleene S1-S9, Turing machines
Subjects: Logic (math.LO)
[20]  arXiv:2111.05435 [pdf, ps, other]
Title: Continuous stable regularity
Comments: 32 pages, citations updated
Subjects: Logic (math.LO); Combinatorics (math.CO)
[21]  arXiv:2111.05676 [pdf, ps, other]
Title: On algebraic and topological semantics of the modal logic of common knowledge S4CI
Subjects: Logic (math.LO)
[22]  arXiv:2111.05998 [pdf, ps, other]
Title: A Syntactic and Categorical Derivation of Gödel's Completeness Theorem
Authors: Hugo Jenkins
Comments: See this https URL . Comments welcome
Subjects: Logic (math.LO); Category Theory (math.CT)
[23]  arXiv:2111.06220 [pdf, ps, other]
Title: Ideals and Strong Axioms of Determinacy
Comments: arXiv admin note: text overlap with arXiv:1608.05726
Subjects: Logic (math.LO)
[24]  arXiv:2111.06307 [pdf, ps, other]
Title: Logical limit laws for layered permutations and related structures
Journal-ref: Enumerative Combinatorics and Applications 2:4 (2022) Article S4PP2
Subjects: Logic (math.LO); Combinatorics (math.CO)
[25]  arXiv:2111.06368 [pdf, ps, other]
Title: Should Type Theory replace Set Theory as the Foundation of Mathematics
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[ total of 79 entries: 1-25 | 26-50 | 51-75 | 76-79 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2205, contact, help  (Access key information)