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

Logic

Authors and titles for math.LO in Sep 2021, skipping first 25

[ total of 78 entries: 1-25 | 26-50 | 51-75 | 76-78 ]
[ showing 25 entries per page: fewer | more | all ]
[26]  arXiv:2109.06040 [pdf, ps, other]
Title: Taming the `elsewhere': On expressivity of topological languages
Subjects: Logic (math.LO)
[27]  arXiv:2109.06079 [pdf, other]
Title: The Virtual Large Cardinal Hierarchy
Comments: 26 pages, 2 figures
Subjects: Logic (math.LO)
[28]  arXiv:2109.06140 [pdf, ps, other]
Title: Characterizing the existence of a Borel complete expansion
Subjects: Logic (math.LO)
[29]  arXiv:2109.06258 [pdf, ps, other]
Title: Unprovability in Mathematics: A First Course on Ordinal Analysis
Authors: Anton Freund
Subjects: Logic (math.LO)
[30]  arXiv:2109.06259 [pdf, ps, other]
Title: A new look at Ternary Boolean Algebras
Comments: 8 pages
Subjects: Logic (math.LO)
[31]  arXiv:2109.06739 [pdf, ps, other]
Title: Set theory and a model of the mind in psychology
Comments: 28 pages
Subjects: Logic (math.LO); General Topology (math.GN)
[32]  arXiv:2109.07310 [pdf, ps, other]
Title: Non-absoluteness of Hjorth's Cardinal Characterization
Comments: 20 pages
Subjects: Logic (math.LO)
[33]  arXiv:2109.07619 [pdf, ps, other]
Title: Structural Highness Notions
Subjects: Logic (math.LO)
[34]  arXiv:2109.08130 [pdf, ps, other]
Title: The Diversity of Minimal Cofinal Extensions
Authors: James H. Schmerl
Subjects: Logic (math.LO)
[35]  arXiv:2109.08140 [pdf, ps, other]
Title: Elimination of imaginaries in multivalued fields
Authors: Mariana Vicaria
Comments: 36 pages
Subjects: Logic (math.LO)
[36]  arXiv:2109.08243 [pdf, ps, other]
Title: Residue field domination in henselian valued fields of equicharacteristic zero
Authors: Mariana Vicaria
Subjects: Logic (math.LO)
[37]  arXiv:2109.08559 [pdf, ps, other]
Title: Continuous logic and Borel equivalence relations
Comments: 24 pages
Subjects: Logic (math.LO)
[38]  arXiv:2109.08619 [pdf, ps, other]
Title: Spherically complete models of Hensel minimal valued fields
Comments: 9 pages
Subjects: Logic (math.LO)
[39]  arXiv:2109.08943 [pdf, ps, other]
Title: Theories with few non-algebraic types over models, and their decompositions
Comments: 6 pages; to appear in Proceedings of the AMS
Subjects: Logic (math.LO)
[40]  arXiv:2109.09069 [pdf, ps, other]
Title: The Variety of Projection of a Tree-Prikry Forcing
Subjects: Logic (math.LO)
[41]  arXiv:2109.09215 [pdf, other]
Title: Towards characterizing the $>ω^2$-fickle recursively enumerable Turing degrees
Authors: Liling Ko
Comments: Submitted to APAL on September 2021. 33 pages, 13 figures
Subjects: Logic (math.LO)
[42]  arXiv:2109.09591 [pdf, ps, other]
Title: Hypersequent Calculi for Intermediate Predicate Logics
Journal-ref: RIMS Kokyuroku 2193 (2021) 81-89
Subjects: Logic (math.LO)
[43]  arXiv:2109.09678 [pdf, ps, other]
Title: An incompleteness theorem via ordinal analysis
Authors: James Walsh
Subjects: Logic (math.LO)
[44]  arXiv:2109.10130 [pdf, ps, other]
Title: On binomials and algebraic closure of some pseudofinite fields
Subjects: Logic (math.LO)
[45]  arXiv:2109.10618 [pdf, ps, other]
Title: Non-stationary support iterations of Prikry Forcings and Restrictions of Ultrapower Embeddings to the Ground Model
Subjects: Logic (math.LO)
[46]  arXiv:2109.11315 [pdf, ps, other]
Title: Vive la Différence!
Comments: 17 pages, 1 figure
Subjects: Logic (math.LO)
[47]  arXiv:2109.11597 [pdf, ps, other]
Title: Reconciliation of Approaches to the Semantics of Logics without Distribution
Authors: Chrysafis (Takis) Hartonas
Journal-ref: College Publications, Tributes series, Katalin Bimbo (ed), Essays in hounor of J. Michael Dunn, 2022
Subjects: Logic (math.LO)
[48]  arXiv:2109.11652 [pdf, ps, other]
Title: The $Π^1_2$ Consequences of a Theory
Comments: 26 pages, 2 figures
Subjects: Logic (math.LO)
[49]  arXiv:2109.11760 [pdf, ps, other]
Title: MS-measurability via Coordinatization
Authors: Mostafa Mirabi
Comments: 30 pages
Subjects: Logic (math.LO)
[50]  arXiv:2109.11973 [pdf, ps, other]
Title: Dependent measures in independent theories
Authors: Karim Khanaki
Comments: In this new version, Fact 2.5, Lemma 4.7 are new. Theorem 4.8 is a refinement of the previous result. 19 pages
Subjects: Logic (math.LO)
[ total of 78 entries: 1-25 | 26-50 | 51-75 | 76-78 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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