Logic

Authors and titles for July 2021

[1] arXiv:2107.00513 [pdf, other]

Title: Strongly compact cardinals and ordinal definability

Gabriel Goldberg

Comments: 16 pages

Subjects: Logic (math.LO)

[2] arXiv:2107.01299 [pdf, other]

Title: Extending Properly n-REA Sets

Peter A. Cholak, Peter M. Gerdes

Subjects: Logic (math.LO)

[3] arXiv:2107.01447 [pdf, other]

Title: Orderings of ultrafilters on Boolean algebras

Jörg Brendle, Francesco Parente

Journal-ref: Topology and its Applications 323 (2023) 108279

Subjects: Logic (math.LO)

[4] arXiv:2107.01536 [pdf, other]

Title: Computable Stone spaces

Nikolay Bazhenov, Matthew Harrison-Trainor, Alexander Melnikov

Comments: 18 pages

Journal-ref: Annals of Pure and Applied Logic, vol. 174 (2023), no. 9, article id 103304

Subjects: Logic (math.LO)

[5] arXiv:2107.01580 [pdf, other]

Title: Large cardinals as principles of Structural Reflection

Joan Bagaria

Subjects: Logic (math.LO)

[6] arXiv:2107.02531 [pdf, other]

Title: (Extra)ordinary equivalences with the ascending/descending sequence principle

Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà

Journal-ref: The Journal of Symbolic Logic 89 (2024), 262-307

Subjects: Logic (math.LO)

[7] arXiv:2107.02577 [pdf, other]

Title: Strong downward Löwenheim-Skolem theorems for stationary logics, III -- mixed support iteration

Sakaé Fuchino, André Ottenbreit Maschio Rodrigue, Hiroshi Sakai

Subjects: Logic (math.LO)

[8] arXiv:2107.02587 [pdf, other]

Title: Generalized Polish spaces at regular uncountable cardinals

Claudio Agostini, Luca Motto Ros, Philipp Schlicht

Comments: 43 pages, accepted for publication on the Journal of the London Mathematical Society

Subjects: Logic (math.LO)

[9] arXiv:2107.02727 [pdf, other]

Title: Dependent finitely homogneneous rosy structures

Alf Onshuus, Pierre Simon

Subjects: Logic (math.LO)

[10] arXiv:2107.03521 [pdf, html, other]

Title: Reflection ranks via infinitary derivations

James Walsh

Comments: This replaces an earlier paper containing joint work with Fedor Pakhomov. In this version the sections have been rearranged slightly and various typos and ambiguities have been corrected

Subjects: Logic (math.LO)

[11] arXiv:2107.03787 [pdf, other]

Title: Non-vanishing higher derived limits

Boban Velickovic, Alessandro Vignati

Subjects: Logic (math.LO); Category Theory (math.CT)

[12] arXiv:2107.03972 [pdf, other]

Title: Effect of the Choice of Connectives on the Relation between the Logic of Constant Domains and Classical Predicate Logic

Naosuke Matsuda, Kento Takagi

Subjects: Logic (math.LO)

[13] arXiv:2107.04293 [pdf, other]

Title: D-minimal structures

Antongiulio Fornasiero

Comments: 54 pages. arXiv admin note: substantial text overlap with arXiv:1003.3557

Subjects: Logic (math.LO)

[14] arXiv:2107.04963 [pdf, other]

Title: Definably Topological Dynamics of $p$-Adic Algebraic Groups

Jiaqi Bao, Ningyuan Yao

Comments: 23 pages

Subjects: Logic (math.LO)

[15] arXiv:2107.05069 [pdf, other]

Title: On equational completeness theorems

T. Moraschini

Subjects: Logic (math.LO)

[16] arXiv:2107.05136 [pdf, other]

Title: Was Ulam right? I: Basic theory and subnormal ideals

Tanmay Inamdar, Assaf Rinot

Comments: This is now Part I of a series. Part II is upcoming

Subjects: Logic (math.LO)

[17] arXiv:2107.05152 [pdf, other]

Title: Decidability for the theory of modules over a Prüfer domain

Lorna Gregory

Subjects: Logic (math.LO); Commutative Algebra (math.AC)

[18] arXiv:2107.05197 [pdf, other]

Title: Density of compressible types and some consequences

Martin Bays, Itay Kaplan, Pierre Simon

Comments: v2: New corollary 6.34 on stable reducts; minor fixes elsewhere; numbering changed in section 6. v3: Minor revisions; numbering changed in section 6; accepted for publication in JEMS

Subjects: Logic (math.LO)

[19] arXiv:2107.05755 [pdf, other]

Title: Many forcing axioms for all regular uncountable cardinals

Noam Greenberg, Saharon Shelah

Subjects: Logic (math.LO)

[20] arXiv:2107.05912 [pdf, other]

Title: Epimorphisms in varieties of residuated structures

G. Bezhanishvili, T. Moraschini, J. Raftery

Subjects: Logic (math.LO)

[21] arXiv:2107.05947 [pdf, other]

Title: Higher Dimensional Cardinal Characteristics for Sets of Functions II

Jörg Brendle, Corey Bacal Switzer

Comments: 2 figures, 23 pages, second draft incorporates changes suggested by an anonymous referee. Now accepted at the Journal of Symbolic Logic

Subjects: Logic (math.LO)

[22] arXiv:2107.07433 [pdf, other]

Title: A note on asymptotic density

Ryszard Frankiewicz, Joanna Jureczko

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

[23] arXiv:2107.07636 [pdf, other]

Title: An undecidable extension of Morley's theorem on the number of countable models

Christopher J. Eagle, Clovis Hamel, Sandra Müller, Franklin D. Tall

Comments: 29 pages

Subjects: Logic (math.LO)

[24] arXiv:2107.07854 [pdf, other]

Title: Kolmogorov-Veloso Problems and Dialectica Categories

Valeria de Paiva, Samuel G. da Silva

Comments: There was a typo in the title, "Kolgomorov" instead of Kolmogorov

Subjects: Logic (math.LO)

[25] arXiv:2107.08299 [pdf, other]

Title: Remarks on the existence of measurable selectors

Joanna Jureczko

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