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

Logic

Authors and titles for math.LO in Aug 2022

[ total of 80 entries: 1-25 | 26-50 | 51-75 | 76-80 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2208.00038 [pdf, ps, other]
Title: Connected Reduced Products
Subjects: Logic (math.LO)
[2]  arXiv:2208.00209 [pdf, ps, other]
Title: The uniform Kruskal theorem: between finite combinatorics and strong set existence
Subjects: Logic (math.LO)
[3]  arXiv:2208.00586 [pdf, ps, other]
Title: A note on geometric theories of fields
Comments: Fixed typos, minor update
Subjects: Logic (math.LO)
[4]  arXiv:2208.00691 [pdf, other]
Title: Intuitionistic Sahlqvist theory for deductive systems
Comments: 50 pages
Subjects: Logic (math.LO)
[5]  arXiv:2208.00923 [pdf, ps, other]
Title: Maximal sets without Choice
Comments: 16 pages
Subjects: Logic (math.LO)
[6]  arXiv:2208.00954 [pdf, ps, other]
Title: Spectral Spaces in o-minimal and other NIP theories
Subjects: Logic (math.LO)
[7]  arXiv:2208.01697 [pdf, ps, other]
Title: The structural complexity of models of arithmetic
Subjects: Logic (math.LO)
[8]  arXiv:2208.02398 [pdf, ps, other]
Title: When is the étale open topology a field topology?
Comments: Minor changes. 22 pages
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[9]  arXiv:2208.02461 [pdf, other]
Title: The homeomorphism group of the universal Knaster continuum
Authors: Sumun Iyer
Comments: 27 pages, 1 figure
Subjects: Logic (math.LO); Combinatorics (math.CO); Dynamical Systems (math.DS)
[10]  arXiv:2208.02684 [pdf, other]
Title: Indestructibility of some compactness principles over models of PFA
Comments: 18 pages
Subjects: Logic (math.LO)
[11]  arXiv:2208.02982 [pdf, ps, other]
Title: Limit Complexities, Minimal Descriptions, and $n$-Randomness
Subjects: Logic (math.LO)
[12]  arXiv:2208.03027 [pdf, ps, other]
Title: Big in Reverse Mathematics: the uncountability of the real numbers
Authors: Sam Sanders
Comments: 21 pages plus technical appendix. arXiv admin note: text overlap with arXiv:2102.04787
Subjects: Logic (math.LO)
[13]  arXiv:2208.03156 [pdf, other]
Title: 63 Years of the MacDowell-Specker Theorem
Authors: Roman Kossak
Comments: 1 figure
Subjects: Logic (math.LO)
[14]  arXiv:2208.03553 [pdf, other]
Title: The provability logic of all provability predicates
Authors: Taishi Kurahashi
Comments: 30 pages
Subjects: Logic (math.LO)
[15]  arXiv:2208.03555 [pdf, other]
Title: Arithmetical completeness theorems for monotonic modal logics
Comments: 32 pages
Subjects: Logic (math.LO)
[16]  arXiv:2208.03925 [pdf]
Title: Directional Deduction
Comments: 165 pages
Subjects: Logic (math.LO)
[17]  arXiv:2208.04533 [pdf, ps, other]
Title: Modal expansions of ririgs
Subjects: Logic (math.LO)
[18]  arXiv:2208.04607 [pdf, ps, other]
Title: Uniform Lyndon interpolation for intuitionistic monotone modal logic
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[19]  arXiv:2208.04752 [pdf, ps, other]
Title: Incompleteness for stably computable formal systems
Authors: Yasha Savelyev
Comments: 20 pages. Minor corrections
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[20]  arXiv:2208.05097 [pdf, ps, other]
Title: Spherical orders, properties and countable spectra of their theories
Subjects: Logic (math.LO)
[21]  arXiv:2208.05202 [pdf, ps, other]
Title: Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[22]  arXiv:2208.05288 [pdf, ps, other]
Title: Forcing Axioms and the Definabilty of the Nonstationary Ideal on $ω_1$
Comments: 22 pages
Subjects: Logic (math.LO)
[23]  arXiv:2208.05815 [pdf, ps, other]
Title: Around definable types in $p$-adically closed fields
Comments: 39 pages
Subjects: Logic (math.LO)
[24]  arXiv:2208.06206 [pdf, ps, other]
Title: On approximations of Feynman path integrals
Authors: Tapani Hyttinen
Subjects: Logic (math.LO); High Energy Physics - Phenomenology (hep-ph)
[25]  arXiv:2208.06323 [pdf, other]
Title: On the non-measurability of $ω$-categorical Hrushovski constructions
Authors: Paolo Marimon
Comments: 24 pages; 10 figures
Subjects: Logic (math.LO)
[ total of 80 entries: 1-25 | 26-50 | 51-75 | 76-80 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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