Logic

Authors and titles for recent submissions

• Wed, 5 Feb 2025
• Tue, 4 Feb 2025
• Mon, 3 Feb 2025
• Fri, 31 Jan 2025
• Thu, 30 Jan 2025

See today's new changes

Wed, 5 Feb 2025 (continued, showing last 2 of 3 entries )

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

Title: Solving infinitary Rubik's cubes

Jack Edward Tisdell

Comments: 29 pages, 4 figures, 2 tables

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

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

Title: More separations of cardinal characteristics of the strong measure zero ideal

Miguel A. Cardona, Miroslav Repický, Saharon Shelah

Comments: 27 pages, 6 figures

Subjects: Logic (math.LO)

Tue, 4 Feb 2025 (showing 7 of 7 entries )

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

Title: Morse functions definable in d-minimal structures

Masato Fujita

Subjects: Logic (math.LO)

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

Title: An analogue of U-rank for atomic classes

John T. Baldwin, Michael C. Laskowski, Saharon Shelah

Subjects: Logic (math.LO)

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

Title: A new categorial equivalence for Stone Algebras

Ismael Calomino, Gustavo Pelaitay

Subjects: Logic (math.LO)

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

Title: Strong marker sets and applications

Su Gao, Tianhao Wang

Subjects: Logic (math.LO)

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

Title: Formalising Propositional Information via Implication Hypergraphs

Vibhu Dalal

Comments: 11 pages, 6 figures

Subjects: Logic (math.LO); Information Theory (cs.IT)

[9] arXiv:2502.01581 (cross-list from math.GR) [pdf, other]

Title: Almost homomorphisms and measurable cocycles

Christian Rosendal

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

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

Title: A declarative approach to specifying distributed algorithms using three-valued modal logic

Murdoch J. Gabbay, Luca Zanolini

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

Mon, 3 Feb 2025 (showing 3 of 3 entries )

[11] arXiv:2501.18958 [pdf, html, other]

Title: Nairian Models

Douglas Blue, Paul B. Larson, Grigor Sargsyan

Subjects: Logic (math.LO)

[12] arXiv:2501.18710 [pdf, html, other]

Title: Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results

Thomas Gilton

Subjects: Logic (math.LO)

[13] arXiv:2501.18774 (cross-list from math.NT) [pdf, html, other]

Title: Rank stability in quadratic extensions and Hilbert's tenth problem for the ring of integers of a number field

Levent Alpöge, Manjul Bhargava, Wei Ho, Ari Shnidman

Comments: 10 pages, comments welcome

Subjects: Number Theory (math.NT); Logic (math.LO)

Fri, 31 Jan 2025 (showing 4 of 4 entries )

[14] arXiv:2501.18552 (cross-list from math.MG) [pdf, html, other]

Title: Oscillation stability by the Carlson-Simpson theorem

Tristan Bice, Noé de Rancourt, Jan Hubička, Matěj Konečný

Comments: 14 pages

Subjects: Metric Geometry (math.MG); Combinatorics (math.CO); Logic (math.LO)

[15] arXiv:2501.18275 (cross-list from cs.LO) [pdf, other]

Title: Induction and Recursion Principles in a Higher-Order Quantitative Logic

Giorgio Bacci, Rasmus Ejlers Møgelberg

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

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

Title: Algebraic Proof Theory for Infinitary Action Logic

Wesley Fussner, Simon Santschi, Borja Sierra Miranda

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

[17] arXiv:2501.17870 (cross-list from math.HO) [pdf, html, other]

Title: Comportamientos extra\~nos del infinito: Gr\'aficas Infinitas

David J. Fernández-Bretón, Jesús A. Flores Hinostrosa, V. Adrián Meza-Campa, L. Gerardo Núñez Olmedo

Comments: 38 pages, in Spanish

Subjects: History and Overview (math.HO); Combinatorics (math.CO); Logic (math.LO)

Thu, 30 Jan 2025 (showing 6 of 6 entries )

[18] arXiv:2501.17734 [pdf, html, other]

Title: Loops, Inverse Limits and Non-Determinism

Vasco Brattka

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

[19] arXiv:2501.17730 [pdf, html, other]

Title: The rational Gurarii space and its linear isometry group

Ondřej Kurka, Maciej Malicki

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

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

Title: A quasianalytic class with weakly smooth germs

R. Guénet

Comments: 36 pages

Subjects: Logic (math.LO)

[21] arXiv:2501.17445 [pdf, html, other]

Title: Separating complexity classes of LCL problems on grids

Katalin Berlow, Anton Bernshteyn, Clark Lyons, Felix Weilacher

Comments: 36 pp., 5 figures

Subjects: Logic (math.LO); Computational Complexity (cs.CC); Combinatorics (math.CO); Probability (math.PR)

[22] arXiv:2501.17293 (cross-list from math.CO) [pdf, html, other]

Title: Twenty years of Ne\v{s}et\v{r}il's classification programme of Ramsey classes

Jan Hubička, Matěj Konečný

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); History and Overview (math.HO); Logic (math.LO)

[23] arXiv:2501.17250 (cross-list from cs.LO) [pdf, other]

Title: Weihrauch problems as containers

Cécilia Pradic, Ian Price

Comments: 25 pages

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