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

Logic

Authors and titles for recent submissions

[ total of 32 entries: 1-25 | 26-32 ]
[ showing 25 entries per page: fewer | more | all ]

Wed, 4 Feb 2026

[1]  arXiv:2602.03391 [pdf, ps, other]
Title: Forcing and classes of $\mathsf{HYP}$-dominating functions
Authors: Noam Greenberg, Gian Marco Osso
Subjects: Logic (math.LO)
[2]  arXiv:2602.03261 [pdf, ps, other]
Title: On some NIP Fragments of Fields
Authors: Paulo Andrés Soto Moreno
Subjects: Logic (math.LO)
[3]  arXiv:2602.02976 [pdf, ps, other]
Title: Computational techniques for sheaf cohomology of locally profinite sets
Authors: Mark Schachner
Comments: 22 pages, 4 figures
Subjects: Logic (math.LO); Algebraic Topology (math.AT)
[4]  arXiv:2602.02940 [pdf, ps, other]
Title: A vector logic for intensional formal semantics
Authors: Daniel Quigley
Comments: 25 pages; 68 sources
Subjects: Logic (math.LO); Computation and Language (cs.CL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[5]  arXiv:2602.02854 [pdf, ps, other]
Title: Categoricity for inferential $ω$-logic and $L_{ω_1,ω}$
Authors: John T. Baldwin, Constantin C. Brîncuş
Subjects: Logic (math.LO)
[6]  arXiv:2602.02837 [pdf, ps, other]
Title: Monotonicity versus positivity in modal logics
Authors: Lev Dvorkin
Comments: 35 pages, comments are welcome
Subjects: Logic (math.LO)
[7]  arXiv:2602.02933 (cross-list from math.GR) [pdf, ps, other]
Title: Nonstandard free groups
Authors: Alexei Miasnikov, Andrey Nikolaev
Comments: 25 pages
Subjects: Group Theory (math.GR); Logic (math.LO)
[8]  arXiv:2602.02926 (cross-list from math.OA) [pdf, ps, other]
Title: Topologically free non-Hausdorff groupoids
Authors: Lisa Orloff Clark, Ryan Thompson, Ilija Tolich
Subjects: Operator Algebras (math.OA); Logic (math.LO)

Tue, 3 Feb 2026

[9]  arXiv:2602.02384 [pdf, ps, other]
Title: A formula for any real number, maybe
Authors: James E. Hanson, Connor Watson
Comments: 17 pages, 3 figures
Subjects: Logic (math.LO); History and Overview (math.HO)
[10]  arXiv:2602.02302 [pdf, ps, other]
Title: Decidability of Interpretability
Authors: Roman Feller, Michael Pinsker
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[11]  arXiv:2602.02211 [pdf, ps, other]
Title: The Cofinality of Generating Familes
Authors: Paul Gartside, Thomas Gilton
Subjects: Logic (math.LO); General Topology (math.GN)
[12]  arXiv:2602.01819 [pdf, ps, other]
Title: Model theory of term algebras revisited
Authors: Davide Carolillo, Yifan Jia, Bakh Khoussainov, Rizos Sklinos
Subjects: Logic (math.LO)
[13]  arXiv:2602.01810 [pdf, ps, other]
Title: Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
Authors: Ningyuan Yao, Zhentao Zhang
Subjects: Logic (math.LO)
[14]  arXiv:2602.01739 [pdf, ps, other]
Title: Convex sets and Axiom of Choice
Authors: Yasuo Yoshinobu
Comments: 28 pages, 1 figure
Subjects: Logic (math.LO)
[15]  arXiv:2602.01478 [pdf, ps, other]
Title: Laver ultrafilters
Authors: Silvan Horvath, Tan Özalp
Subjects: Logic (math.LO)
[16]  arXiv:2602.01216 [pdf, ps, other]
Title: A Class of Generalised Quantifiers for k-Variable Logics
Authors: Janek Härtter, Martin Otto
Subjects: Logic (math.LO)
[17]  arXiv:2602.00940 [pdf, ps, other]
Title: A Baire Category Approach to Besicovitch's Theorem and Measure Regularity
Authors: Emma Gruner, Jan Reimann
Subjects: Logic (math.LO)
[18]  arXiv:2602.00435 [pdf, ps, other]
Title: Effective Dimension s and Gauge Functions
Authors: Yiping Miao
Comments: 9 pages, 1 figure
Subjects: Logic (math.LO); Number Theory (math.NT)
[19]  arXiv:2602.00930 (cross-list from math.OA) [pdf, ps, other]
Title: Exotic full factors via weakly coarse bimodules
Authors: David Gao, David Jekel, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell
Comments: 16 pages
Subjects: Operator Algebras (math.OA); Functional Analysis (math.FA); Logic (math.LO)
[20]  arXiv:2602.00784 (cross-list from q-fin.RM) [pdf, ps, other]
Title: Non-standard analysis for coherent risk estimation: hyperfinite representations, discrete Kusuoka formulae, and plug-in asymptotics
Authors: Tomasz Kania
Comments: 40 pp
Subjects: Risk Management (q-fin.RM); Logic (math.LO); Probability (math.PR); Statistics Theory (math.ST); Mathematical Finance (q-fin.MF)
[21]  arXiv:2602.00461 (cross-list from math.CO) [pdf, ps, other]
Title: Decomposable shuffles
Authors: João Dias, Bruno Dinis, Carlos Correia Ramos
Subjects: Combinatorics (math.CO); Logic (math.LO)

Mon, 2 Feb 2026

[22]  arXiv:2601.23165 [pdf, ps, other]
Title: Class choice and the surprising weakness of Kelley-Morse set theory
Authors: Victoria Gitman, Joel David Hamkins, Thomas A. Johnstone
Comments: 27 pages. Commentary can be made on the second author's blog at this https URL
Subjects: Logic (math.LO)
[23]  arXiv:2601.23070 [pdf, ps, other]
Title: Some notes on plump ordinals
Authors: Shuwei Wang
Subjects: Logic (math.LO)
[24]  arXiv:2601.22643 [pdf, ps, other]
Title: Maximal Prikry Sequences
Authors: Ernest Schimmerling, Jiaming Zhang
Comments: 57 pages
Subjects: Logic (math.LO)
[25]  arXiv:2601.22435 [pdf, ps, other]
Title: On the computability of cofinal Fraïssé limits
Authors: Nathanael Ackerman, Cameron Freer, Mostafa Mirabi
Comments: 29 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[ total of 32 entries: 1-25 | 26-32 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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