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
Posts by arXiv math.LO Logic
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
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
{\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
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
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
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
[2026-04-21 Tue (UTC), 7 new articles found for mathLO Logic]
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
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
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
[2026-04-20 Mon (UTC), 3 new articles found for mathLO Logic]
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
[2026-04-17 Fri (UTC), 1 new article found for mathLO Logic]
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
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
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
[2026-04-15 Wed (UTC), 3 new articles found for mathLO Logic]
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
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
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
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
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
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
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
[2026-04-14 Tue (UTC), 7 new articles found for mathLO Logic]
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
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
[2026-04-13 Mon (UTC), 2 new articles found for mathLO Logic]
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