We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for recent submissions

[ total of 22 entries: 1-22 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 20 Mar 2026

[1]  arXiv:2603.18955 [pdf, ps, other]
Title: Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy And A Koopman Operator Example
Authors: Christopher Sorg
Comments: 62 pages: 39 pages + Appendix
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Spectral Theory (math.SP)
[2]  arXiv:2603.18759 [pdf, ps, other]
Title: Reverse Mathematics and Dimension of Posets
Authors: Alberto Marcone, Andrea Volpi
Subjects: Logic (math.LO); Combinatorics (math.CO)
[3]  arXiv:2603.18216 [pdf, ps, other]
Title: Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
Authors: Hrafn Valtýr Oddsson
Comments: 21 pages
Subjects: Logic (math.LO)

Thu, 19 Mar 2026

[4]  arXiv:2603.17949 [pdf, ps, other]
Title: Homogeneous forcing
Authors: Saharon Shelah
Subjects: Logic (math.LO)
[5]  arXiv:2603.17724 [pdf, ps, other]
Title: More on modal logics and deduction
Authors: Zalán Gyenis, Zalán Molnár, Övge Öztürk
Subjects: Logic (math.LO)
[6]  arXiv:2603.17411 (cross-list from math.FA) [pdf, ps, other]
Title: A brief review of Radon-Nikodýmification
Authors: Thierry De Pauw
Comments: arXiv admin note: substantial text overlap with arXiv:2105.11331, arXiv:1909.10190
Subjects: Functional Analysis (math.FA); Classical Analysis and ODEs (math.CA); Logic (math.LO)
[7]  arXiv:2603.17084 (cross-list from math.GR) [pdf, ps, other]
Title: On the model theory of the Free Factor Complex of rank 2
Authors: Zahra Mohammadi Khangheshlaghi, Katrin Tent
Subjects: Group Theory (math.GR); Logic (math.LO)

Wed, 18 Mar 2026

[8]  arXiv:2603.16802 [pdf, ps, other]
Title: Computability of the Hahn-Banach Theorem Revisited
Authors: Vasco Brattka, Christopher Sorg
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[9]  arXiv:2603.16754 [pdf, ps, other]
Title: Ultrafilter Extensions for Veltman Semantics
Authors: Felix Frigola Gonzalez, Joost J. Joosten, Vicent Navarro Arroyo, Cosimo Perini Brogi
Subjects: Logic (math.LO)
[10]  arXiv:2603.16613 (cross-list from math.CO) [pdf, ps, other]
Title: Connectivity notions on compatible digraphs in equational classes
Authors: Gergő Gyenizse, Miklós Maróti, László Zádori
Subjects: Combinatorics (math.CO); Logic (math.LO)
[11]  arXiv:2603.16437 (cross-list from cs.PL) [pdf, ps, other]
Title: Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
Authors: Houston Haynes
Comments: 29 pages, 1 table, 3 appendices with extended examples
Subjects: Programming Languages (cs.PL); Category Theory (math.CT); Logic (math.LO)
[12]  arXiv:2603.15929 (cross-list from cs.AI) [pdf, ps, other]
Title: Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
Authors: Vasily Ilin
Comments: 11 figures
Subjects: Artificial Intelligence (cs.AI); Analysis of PDEs (math.AP); Logic (math.LO)

Tue, 17 Mar 2026

[13]  arXiv:2603.15613 [pdf, ps, other]
Title: Hierarchies of direct powers, ultrapowers and cumulative powers
Authors: Pedro Teixeira Yago
Comments: 42 pages
Subjects: Logic (math.LO)
[14]  arXiv:2603.14924 [pdf, ps, other]
Title: A simplified proof of the o-minimal Whitney Extension Theorem
Authors: Beata Kocel-Cynk, Wiesław Pawłucki, Anna Valette
Comments: 10 pages
Subjects: Logic (math.LO); Algebraic Geometry (math.AG)
[15]  arXiv:2603.14428 [pdf, ps, other]
Title: On covers of quasivarieties of p-algebras
Authors: Zalán Gyenis
Subjects: Logic (math.LO)
[16]  arXiv:2603.14264 [pdf, ps, other]
Title: A $wtt$-introimmune set in \texorpdfstring{$Π^0_1$}{Pi01} and introimmunity for several reducibilities
Authors: Patrizio Cintioli
Comments: v2: Minor revision: added a bibliographic reference
Subjects: Logic (math.LO)
[17]  arXiv:2603.13913 [pdf, ps, other]
Title: Axiom Beta Implies Elementary Transfinite Recursion
Authors: Emanuele Frittaion, Giorgio G. Genovesi
Comments: 42 pages
Subjects: Logic (math.LO)
[18]  arXiv:2603.13916 (cross-list from math.RA) [pdf, ps, other]
Title: Implicit operations in varieties of commutative monoids
Authors: Luca Carai, Miriam Kurtzhals, Tommaso Moraschini
Subjects: Rings and Algebras (math.RA); Logic (math.LO)
[19]  arXiv:2603.13680 (cross-list from math.HO) [pdf, ps, other]
Title: A correspondence problem for mathematical proof
Authors: Simon DeDeo, Eamon Duede
Subjects: History and Overview (math.HO); Logic (math.LO)
[20]  arXiv:2603.13569 (cross-list from math.CT) [pdf, ps, other]
Title: Polarities, voltages, and capacitors: a categorical approach to hulls, envelopes, and completions
Authors: Ivan Di Liberti, Martino Lupini
Comments: 27 pages
Subjects: Category Theory (math.CT); Commutative Algebra (math.AC); Logic (math.LO); Operator Algebras (math.OA); Rings and Algebras (math.RA)

Mon, 16 Mar 2026

[21]  arXiv:2603.13066 [pdf, ps, other]
Title: In Defence of the Material Conditional
Authors: Alexander V. Gheorghiu
Subjects: Logic (math.LO)
[22]  arXiv:2603.12387 [pdf, ps, other]
Title: The conjectures of Kumbhakar, Roy, and Srinivasan
Authors: James Freitag, Omar León Sánchez, Wei Li, Joel Nagloo
Subjects: Logic (math.LO)
[ total of 22 entries: 1-22 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, new, 2603, contact, help  (Access key information)