Logic

Authors and titles for recent submissions

• Wed, 29 Jan 2025
• Tue, 28 Jan 2025
• Mon, 27 Jan 2025
• Fri, 24 Jan 2025
• Thu, 23 Jan 2025

See today's new changes

Wed, 29 Jan 2025 (showing 3 of 3 entries )

[1] arXiv:2501.17098 [pdf, html, other]

Title: Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties

Michal Doucha, Dominik Kwietniak, Maciej Malicki, Piotr Niemiec

Subjects: Logic (math.LO); Dynamical Systems (math.DS)

[2] arXiv:2501.16633 [pdf, html, other]

Title: On variable non-dependence of first-order formulas

Koen Lefever, Gergely Székely

Comments: 24 pages, 5 figures

Subjects: Logic (math.LO)

[3] arXiv:2501.16586 [pdf, html, other]

Title: Isomorphism Spectra and Computably Composite Structures

Joey Lakerdas-Gayle

Comments: 20 pages, 4 figures

Subjects: Logic (math.LO)

Tue, 28 Jan 2025 (showing 9 of 9 entries )

[4] arXiv:2501.16067 [pdf, html, other]

Title: Individual choice sequences -- History, development and use

Joop Niekus

Subjects: Logic (math.LO)

[5] arXiv:2501.15643 [pdf, html, other]

Title: $F_\sigma$-ideals, colorings, and representation in Banach spaces

Jordi Lopez-Abad, Víctor Olmos-Prieto, Carlos Uzcátegui-Aylwin

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

[6] arXiv:2501.15632 [pdf, html, other]

Title: Maximal WAP and tame quotients of type spaces

Krzysztof Krupiński, Adrián Portillo

Subjects: Logic (math.LO)

[7] arXiv:2501.15176 [pdf, html, other]

Title: Subseries Numbers for Convergent Subseries

Tristan van der Vlugt

Comments: 19 pages, 1 figure

Subjects: Logic (math.LO)

[8] arXiv:2501.14990 [pdf, html, other]

Title: Variants of {\L}o\'s's Theorem

Toshimichi Usuba

Subjects: Logic (math.LO)

[9] arXiv:2501.14988 [pdf, html, other]

Title: Monotonicity of the ultrafilter number function

Toshimichi Usuba

Subjects: Logic (math.LO)

[10] arXiv:2501.15779 (cross-list from math.CT) [pdf, html, other]

Title: A note on the definition of derived functors

João Schwarz

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

[11] arXiv:2501.15507 (cross-list from cs.LO) [pdf, html, other]

Title: Skolemization In Intermediate Logics

Matthias Baaz, Mariami Gamsakhurdia, Rosalie Iemhoff, Raheleh Jalali

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

[12] arXiv:2501.14899 (cross-list from cs.FL) [pdf, html, other]

Title: The Alternation Hierarchy of First-Order Logic on Words is Decidable

Corentin Barloy, Michaël Cadilhac, Charles Paperman, Howard Straubing

Comments: 12 pages, plus bibliography (2 pages) and appendix (5 pages). Conference version

Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)

Mon, 27 Jan 2025 (showing 7 of 7 entries )

[13] arXiv:2501.14688 [pdf, html, other]

Title: Fra\"iss\'e limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization

Ciro Russo

Comments: arXiv admin note: text overlap with arXiv:1102.2000

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

[14] arXiv:2501.14567 [pdf, html, other]

Title: A countable Boolean algebra that is Reichenbach's common cause complete

Dominika Burešová

Subjects: Logic (math.LO); Mathematical Physics (math-ph)

[15] arXiv:2501.14076 [pdf, html, other]

Title: The uniqueness of the core model

Benjamin Siskind

Subjects: Logic (math.LO)

[16] arXiv:2501.13979 [pdf, html, other]

Title: Strong Negation is Definable in 2Int

Hrafn Valtýr Oddsson

Comments: 3 pages

Subjects: Logic (math.LO)

[17] arXiv:2501.14542 (cross-list from cs.LO) [pdf, html, other]

Title: Ordinal Exponentiation in Homotopy Type Theory

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

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

[18] arXiv:2501.14429 (cross-list from math.CT) [pdf, html, other]

Title: Various topos of types constructions

Kristóf Kanalas

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

[19] arXiv:2501.14153 (cross-list from math.OA) [pdf, html, other]

Title: Totally Bounded Elements in W*-probability Spaces

Jananan Arulseelan, Isaac Goldbring, Bradd Hart, Thomas Sinclair

Comments: 30 pages, comments welcome

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

Fri, 24 Jan 2025 (showing 2 of 2 entries )

[20] arXiv:2501.13114 [pdf, html, other]

Title: Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic

Purbita Jana, Prateek

Subjects: Logic (math.LO)

[21] arXiv:2501.13903 (cross-list from cs.LO) [pdf, html, other]

Title: Forbidden Induced Subgraphs for Bounded Shrub-Depth and the Expressive Power of MSO

Nikolas Mählmann

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Logic (math.LO)

Thu, 23 Jan 2025 (showing 5 of 5 entries )

[22] arXiv:2501.12888 [pdf, html, other]

Title: Definable Obstruction Theory

Nicholas Meadows

Subjects: Logic (math.LO)

[23] arXiv:2501.12846 [pdf, html, other]

Title: On the learning power of Friedman-Stanley jumps

Vittorio Cipriani, Alberto Marcone, Luca San Mauro

Subjects: Logic (math.LO)

[24] arXiv:2501.12631 [pdf, html, other]

Title: An ordinal analysis of CM and its extensions

Shuwei Wang

Subjects: Logic (math.LO)

[25] arXiv:2501.12545 [pdf, html, other]

Title: A short note on model theory of C((t))

Zhentao Zhang

Subjects: Logic (math.LO)

[26] arXiv:2501.12952 (cross-list from math.DS) [pdf, html, other]

Title: Dynamical pair assignments

Udayan B. Darji, Felipe García-Ramos

Comments: arXiv admin note: text overlap with arXiv:2107.09866

Subjects: Dynamical Systems (math.DS); Logic (math.LO)