Logic

Authors and titles for December 2018

[1] arXiv:1812.00051 [pdf, other]

Title: The Surreal Numbers as an Ordered Commutative Ring with an Apartness: A Development in Univalent Foundations

Jean S. Joseph

Subjects: Logic (math.LO)

[2] arXiv:1812.00188 [pdf, other]

Title: Thin set theorems and cone avoidance

Peter Cholak, Ludovic Patey

Comments: 30 pages

Subjects: Logic (math.LO)

[3] arXiv:1812.00762 [pdf, other]

Title: An alternative foundation and the generalized continuum hypothesis

Eddy El Khalil

Comments: 58 pages, submitted

Subjects: Logic (math.LO); General Topology (math.GN)

[4] arXiv:1812.00960 [pdf, other]

Title: An Easton-like Theorem for Zermelo-Fraenkel Set Theory with the Axiom of Dependent Choice

Anne Fernengel, Peter Koepke

Subjects: Logic (math.LO)

[5] arXiv:1812.00983 [pdf, other]

Title: A General Axiomatization for the logics of the Hierarchy ${\mathbb{I}}^n {\mathbb{P}}^k$

Víctor Fernández

Comments: 20 pages

Subjects: Logic (math.LO)

[6] arXiv:1812.00990 [pdf, other]

Title: Hilbert's tenth problem, Gödel's incompleteness, Halting problem, a unifying perspective

Tarek Sayed Ahmed

Subjects: Logic (math.LO)

[7] arXiv:1812.01264 [pdf, other]

Title: Definable operators on stable set lattices

Robert Goldblatt

Comments: 18 pages

Journal-ref: Studia Logica, published online 5 February 2020

Subjects: Logic (math.LO)

[8] arXiv:1812.01306 [pdf, other]

Title: Rigidity Conjectures

Alessandro Vignati

Comments: 47 pages, to appear in Annales Scientifiques de l'École Normale Supérieure (ASENS)

Subjects: Logic (math.LO); General Topology (math.GN); Operator Algebras (math.OA)

[9] arXiv:1812.01480 [pdf, other]

Title: Ways of Destruction

Barnabas Farkas, Lyubomyr Zdomskyy

Subjects: Logic (math.LO)

[10] arXiv:1812.01934 [pdf, other]

Title: Two Fraïssé-style theorems for homomorphism-homogeneous relational structures

Thomas D. H. Coleman

Comments: 28 pages, 12 figures, 2 tables

Subjects: Logic (math.LO); Combinatorics (math.CO)

[11] arXiv:1812.02015 [pdf, other]

Title: Nonstandard approach to Hausdorff measure theory and an analysis of some sets of dimension less than $1$

Mee Seong Im

Comments: 103 pages. This was the author's Master of Philosophy thesis. Theorem 5.2.2. is the main result

Subjects: Logic (math.LO)

[12] arXiv:1812.02490 [pdf, other]

Title: Real closed valued fields with analytic structure

Pablo Cubides Kovacsics, Deirdre Haskell

Comments: 10 pages. Any comments welcomed

Journal-ref: Proceedings of the Edinburgh Mathematical Society 63 (2020) 249-261

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

[13] arXiv:1812.02761 [pdf, other]

Title: Generalizations of Laver tables

Joseph Van Name

Subjects: Logic (math.LO); Cryptography and Security (cs.CR); Combinatorics (math.CO)

[14] arXiv:1812.02840 [pdf, other]

Title: The Non-Definability of the Spaces of Tsirelson and Schlumprecht

Peter Casazza, Eduardo Duenez Jose Iovino

Subjects: Logic (math.LO)

[15] arXiv:1812.02905 [pdf, other]

Title: Variations on the Feferman-Vaught Theorem, with applications to $\prod_p \mathbb{F}_p$

Alice Medvedev, Alexander Van Abel

Comments: 18 pages

Subjects: Logic (math.LO)

[16] arXiv:1812.03024 [pdf, other]

Title: Dickson's Lemma, Higman's Theorem and Beyond: a survey of some basic results in order theory

Erhard Aichinger, Florian Aichinger

Comments: Survey paper

Journal-ref: Expositiones Mathematicae 38 (2020), 537-547

Subjects: Logic (math.LO)

[17] arXiv:1812.03375 [pdf, other]

Title: On the close interaction between algorithmic randomness and constructive/computable measure theory

Jason Rute

Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

[18] arXiv:1812.03590 [pdf, other]

Title: Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

Yimu Yin

Subjects: Logic (math.LO)

[19] arXiv:1812.03837 [pdf, other]

Title: New Large Cardinal Axioms and the Ultimate-L Program

Rupert McCallum

Subjects: Logic (math.LO)

[20] arXiv:1812.04468 [pdf, other]

Title: Some lower bounds on Shelah rank in the free group

Javier de la Nuez González, Chloé Perin, Rizos Sklinos

Subjects: Logic (math.LO); Group Theory (math.GR)

[21] arXiv:1812.05146 [pdf, other]

Title: Uniform Continuity in Definable Groups

Alf Onshuus, Luis Carlos Suárez

Subjects: Logic (math.LO)

[22] arXiv:1812.05291 [pdf, other]

Title: Cardinal characteristics at aleph omega

Shimon Garti, Moti Gitik, Saharon Shelah

Journal-ref: Acta Mathematica Hungarica, vol. 160 (2), 2020, pp. 320-336

Subjects: Logic (math.LO)

[23] arXiv:1812.05295 [pdf, other]

Title: Bipartite graphs and monochromatic squares

Shimon Garti

Journal-ref: Order, vol. 36 (1), March 2019, pp. 99-106

Subjects: Logic (math.LO); Combinatorics (math.CO)

[24] arXiv:1812.05547 [pdf, other]

Title: Expansions of the real field by canonical products

Chris Miller, Patrick Speissegger

Comments: 15 pages. Accepted for publication in Canadian Math. J

Journal-ref: Can. Math. Bull. 63 (2020) 506-521

Subjects: Logic (math.LO); Classical Analysis and ODEs (math.CA)

[25] arXiv:1812.06192 [pdf, other]

Title: Well-Ordered Model Universes

Alon Navon

Comments: 41 pages

Subjects: Logic (math.LO)