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

Logic

Authors and titles for math.LO in Dec 2021

[ total of 70 entries: 1-25 | 26-50 | 51-70 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2112.00357 [pdf, ps, other]
Title: Negation-Free Definitions of Paraconsistency
Authors: Sankha S. Basu (Indraprastha Institute of Information Technology - Delhi), Sayantan Roy (Indraprastha Institute of Information Technology - Delhi)
Comments: In Proceedings NCL 2022, arXiv:2204.06359
Journal-ref: EPTCS 358, 2022, pp. 150-159
Subjects: Logic (math.LO)
[2]  arXiv:2112.00430 [pdf, ps, other]
Title: One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields
Subjects: Logic (math.LO)
[3]  arXiv:2112.00486 [pdf, ps, other]
Title: The first-order logic of CZF is intuitionistic
Authors: Robert Passmann
Comments: 19 pages
Subjects: Logic (math.LO)
[4]  arXiv:2112.00535 [pdf, ps, other]
Title: Partitioning the real line into Borel sets
Authors: Will Brian
Subjects: Logic (math.LO)
[5]  arXiv:2112.00539 [pdf, other]
Title: Finitary type theories with and without contexts
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[6]  arXiv:2112.00651 [pdf, ps, other]
Title: Beautiful pairs
Comments: 40 pages
Subjects: Logic (math.LO)
[7]  arXiv:2112.01074 [pdf, ps, other]
Title: Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers
Authors: Ur Ya'ar
Comments: 10 pages
Subjects: Logic (math.LO)
[8]  arXiv:2112.01572 [pdf, ps, other]
Title: Stability results assuming tameness, monster model and continuity of nonsplitting
Authors: Samson Leung
Comments: 56 pages, typos corrected
Subjects: Logic (math.LO)
[9]  arXiv:2112.02142 [pdf, ps, other]
Title: An Impossible Asylum
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[10]  arXiv:2112.02774 [pdf, ps, other]
Title: Saturated Models for the Working Model Theorist
Subjects: Logic (math.LO)
[11]  arXiv:2112.03190 [pdf, ps, other]
Title: A finite axiomatization of positive MV-algebras
Subjects: Logic (math.LO)
[12]  arXiv:2112.03833 [pdf, ps, other]
Title: Computational complexity of one-variable fragments of products with T
Comments: 10 pages, in Russian
Subjects: Logic (math.LO)
[13]  arXiv:2112.03884 [pdf, ps, other]
Title: Logics of upsets of De Morgan lattices
Authors: Adam Přenosil
Comments: 30 pages, 5 figures
Subjects: Logic (math.LO)
[14]  arXiv:2112.04396 [pdf, ps, other]
Title: The Largest Suslin Axiom
Subjects: Logic (math.LO)
[15]  arXiv:2112.04436 [pdf, ps, other]
Title: A Completeness Proof for A Regular Predicate Logic with Undefined Truth Value
Comments: 39 pages, 1 figure
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[16]  arXiv:2112.04451 [pdf, ps, other]
Title: Relativized depth
Comments: 20 pages
Subjects: Logic (math.LO)
[17]  arXiv:2112.04460 [pdf, ps, other]
Title: Probabilistic vs deterministic gamblers
Subjects: Logic (math.LO)
[18]  arXiv:2112.04980 [pdf, ps, other]
Title: A characterization of ordinal analysis
Authors: James Walsh
Comments: Leszek Kolodziejczyk caught errors in the proof of Theorem 2.6 and Lemma 4.5 from [v2] of this article. These errors have been corrected
Subjects: Logic (math.LO)
[19]  arXiv:2112.05229 [pdf, ps, other]
Title: Permutation groups on countable vector spaces over prime fields
Comments: 29 pages
Subjects: Logic (math.LO); Group Theory (math.GR)
[20]  arXiv:2112.06859 [pdf, ps, other]
Title: Choice-free Stone duality
Comments: Postprint with minor updates described in footnote on page 1
Journal-ref: The Journal of Symbolic Logic, Volume 85, Issue 1, March 2020, pp. 109-148
Subjects: Logic (math.LO); Category Theory (math.CT)
[21]  arXiv:2112.07473 [pdf, ps, other]
Title: Hyperarithmetical Worm Battles
Comments: 15 pages
Subjects: Logic (math.LO)
[22]  arXiv:2112.07518 [pdf, ps, other]
Title: Polyhedral completeness of intermediate logics: the Nerve Criterion
Comments: 36 pages, 15 figures
Subjects: Logic (math.LO); Combinatorics (math.CO); Geometric Topology (math.GT)
[23]  arXiv:2112.07952 [pdf, other]
Title: Cardinal invariants associated with Hausdorff measures
Authors: Tatsuya Goto
Subjects: Logic (math.LO)
[24]  arXiv:2112.08005 [pdf, ps, other]
Title: Well ordering principles for iterated $Π^1_1$-comprehension
Subjects: Logic (math.LO)
[25]  arXiv:2112.08056 [pdf, ps, other]
Title: Projective Determinacy from long Chang's Conjecture
Authors: Dominik Adolf
Subjects: Logic (math.LO)
[ total of 70 entries: 1-25 | 26-50 | 51-70 ]
[ 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)