Logic

Authors and titles for math.LO in May 2022, skipping first 30

[31]  arXiv:2205.11208 [pdf, ps, other]

Title: From contact relations to modal operators, and back

Authors: Rafał Gruszczyński, Paula Menchón

Subjects: Logic (math.LO)

[32]  arXiv:2205.11792 [pdf, ps, other]

Title: On large externally definable sets in NIP

Authors: Martin Bays, Omer Ben-Neria, Itay Kaplan, Pierre Simon

Comments: v2: Corollary 3.11 in v1 had an erroneous proof; it now appears as Theorem 3.8 with a new proof, and part of section 3 has been moved to an appendix

Subjects: Logic (math.LO)

[33]  arXiv:2205.12011 [pdf, other]

Title: Global Complexification of Real Analytic Restricted Log-Exp-Analytic Functions

Authors: Andre Opris

Comments: 146 pages, 7 figures

Subjects: Logic (math.LO); Algebraic Geometry (math.AG); Complex Variables (math.CV)

[34]  arXiv:2205.12051 [pdf, ps, other]

Title: On classification of continuous first order theories

Authors: Karim Khanaki

Comments: In this new version, Remark 3.4 has been rewritten. (33 pages)

Subjects: Logic (math.LO); Functional Analysis (math.FA)

[35]  arXiv:2205.12653 [pdf, ps, other]

Title: Connections between Kuratowski partitions of Baire spaces, measurable cardinals and precipitous ideals

Authors: Sławomir Kusiński

Subjects: Logic (math.LO)