Advertisement · 728 × 90

Posts by arXiv math.LO Logic

Abilio Rodrigues, Marcelo E. Coniglio: Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth https://arxiv.org/abs/2604.18526 https://arxiv.org/pdf/2604.18526 https://arxiv.org/html/2604.18526

57 minutes ago 0 0 0 0

Bj{\o}rn Kjos-Hanssen: Classification and deontic explosion for contrary-to-duty obligations https://arxiv.org/abs/2604.17703 https://arxiv.org/pdf/2604.17703 https://arxiv.org/html/2604.17703

57 minutes ago 0 0 0 0

Aleksander Ivanov: The generalized continuous model theory, Borel complexity and stability https://arxiv.org/abs/2604.17374 https://arxiv.org/pdf/2604.17374 https://arxiv.org/html/2604.17374

57 minutes ago 0 0 0 0

{\O}ystein Linnebo: Strict potentialism in modal mirrors https://arxiv.org/abs/2604.17296 https://arxiv.org/pdf/2604.17296 https://arxiv.org/html/2604.17296

57 minutes ago 0 0 0 0

Matthew Harrison-Trainor, Liam Tan: Characterizing relative decidability in terms of model completeness https://arxiv.org/abs/2604.17039 https://arxiv.org/pdf/2604.17039 https://arxiv.org/html/2604.17039

57 minutes ago 0 0 0 0

Juanda Kelana Putra, Richard Smolka: Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices https://arxiv.org/abs/2604.17004 https://arxiv.org/pdf/2604.17004 https://arxiv.org/html/2604.17004

57 minutes ago 0 0 0 0

Luca Carai, Ivo D\"untsch, Rafa{\l} Gruszczy\'nski, Anna Laura Suarez: Ultracontact algebras and stack systems https://arxiv.org/abs/2604.16874 https://arxiv.org/pdf/2604.16874 https://arxiv.org/html/2604.16874

57 minutes ago 0 0 0 0
Advertisement

[2026-04-21 Tue (UTC), 7 new articles found for mathLO Logic]

57 minutes ago 0 0 0 0

Patrizio Cintioli: \texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees https://arxiv.org/abs/2604.15949 https://arxiv.org/pdf/2604.15949 https://arxiv.org/html/2604.15949

1 day ago 1 0 0 0

David Asper\'o, Curial Gallart: Long Strong Chains of Subsets of $\omega_1$ https://arxiv.org/abs/2604.15894 https://arxiv.org/pdf/2604.15894 https://arxiv.org/html/2604.15894

1 day ago 1 0 0 0

Tomasz Kania: Polish spaces for countable and separable structures through quotient encodings https://arxiv.org/abs/2604.15843 https://arxiv.org/pdf/2604.15843 https://arxiv.org/html/2604.15843

1 day ago 1 0 0 0

[2026-04-20 Mon (UTC), 3 new articles found for mathLO Logic]

1 day ago 0 0 0 0

Carlos L\'opez-Callejas, Jareb Navarro-Castillo: A rank function for Fra\"{\i}ss\'{e} classes and the rank property https://arxiv.org/abs/2604.14461 https://arxiv.org/pdf/2604.14461 https://arxiv.org/html/2604.14461

4 days ago 0 0 0 0

[2026-04-17 Fri (UTC), 1 new article found for mathLO Logic]

4 days ago 0 0 0 0

Christopher Sorg: From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index https://arxiv.org/abs/2604.12750 https://arxiv.org/pdf/2604.12750 https://arxiv.org/html/2604.12750

6 days ago 0 0 0 0

Matthias Kunik: On a new theory of models for formal mathematical systems https://arxiv.org/abs/2604.12432 https://arxiv.org/pdf/2604.12432 https://arxiv.org/html/2604.12432

6 days ago 0 0 0 0
Advertisement

Felipe Estrada: Transitive Extensions of Automorphism Groups of Generic Structures https://arxiv.org/abs/2604.12146 https://arxiv.org/pdf/2604.12146 https://arxiv.org/html/2604.12146

6 days ago 0 0 0 0

[2026-04-15 Wed (UTC), 3 new articles found for mathLO Logic]

6 days ago 0 0 0 0

Patrizio Cintioli: A computably enumerable many-one degree with no least finite-one degree https://arxiv.org/abs/2604.10879 https://arxiv.org/pdf/2604.10879 https://arxiv.org/html/2604.10879

1 week ago 1 0 0 0

Mirna D\v{z}amonja: Iterating Generalised Perfect Set Forcing Along Well-Founded Orders https://arxiv.org/abs/2604.10826 https://arxiv.org/pdf/2604.10826 https://arxiv.org/html/2604.10826

1 week ago 2 0 0 0

Mirna D\v{z}amonja: A note on iterating strongly $(<\lambda)$-closed stationary $\lambda^+$-cc forcing https://arxiv.org/abs/2604.10713 https://arxiv.org/pdf/2604.10713 https://arxiv.org/html/2604.10713

1 week ago 0 0 0 0

Tomoki Mihara: Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals https://arxiv.org/abs/2604.10526 https://arxiv.org/pdf/2604.10526 https://arxiv.org/html/2604.10526

1 week ago 1 0 0 0

Saeideh Bahrami: The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts https://arxiv.org/abs/2604.10282 https://arxiv.org/pdf/2604.10282 https://arxiv.org/html/2604.10282

1 week ago 1 0 0 0

Rumen Dimitrov, Valentina Harizanov, Henry J. Klatt, Keshav Srinivasan: On Cohesive Products of Fields https://arxiv.org/abs/2604.09965 https://arxiv.org/pdf/2604.09965 https://arxiv.org/html/2604.09965

1 week ago 0 0 0 0

Peter Cholak, Natasha Dobrinen, Charlie McCoy: The Henson graphs: colorings and codings https://arxiv.org/abs/2604.09894 https://arxiv.org/pdf/2604.09894 https://arxiv.org/html/2604.09894

1 week ago 1 0 0 0
Advertisement

[2026-04-14 Tue (UTC), 7 new articles found for mathLO Logic]

1 week ago 0 0 0 0

Scott Cramer, Meng-Che "Turbo" Ho, Sheila K. Miller Edwards, Nam Trang: Free Left Distributive Algebras and a Canonical Extension https://arxiv.org/abs/2604.08768 https://arxiv.org/pdf/2604.08768 https://arxiv.org/html/2604.08768

1 week ago 0 0 0 0

Lothar Sebastian Krapp, Floris Vermeulen: Ordered henselian valued fields: definability and Borel sets https://arxiv.org/abs/2604.08638 https://arxiv.org/pdf/2604.08638 https://arxiv.org/html/2604.08638

1 week ago 0 0 0 0

[2026-04-13 Mon (UTC), 2 new articles found for mathLO Logic]

1 week ago 0 0 0 0

Carles Card\'o: Probabilistic equational spectrum, primality and approximation in finite algebras https://arxiv.org/abs/2604.08446 https://arxiv.org/pdf/2604.08446 https://arxiv.org/html/2604.08446

1 week ago 1 0 0 0