Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Logic

Authors and titles for recent submissions

See today's new changes

Total of 36 entries
Showing up to 50 entries per page: fewer | more | all

Tue, 10 Feb 2026 (showing 10 of 10 entries )

[1] arXiv:2602.08852 [pdf, html, other]
Title: Mitchell rank for supercompactness
Erin Carmody
Subjects: Logic (math.LO)
[2] arXiv:2602.08778 [pdf, html, other]
Title: Partition theorems for Ketonen-Solovay largeness
Quentin Le Houérou, Ludovic Patey
Comments: 23 pages
Subjects: Logic (math.LO); Combinatorics (math.CO)
[3] arXiv:2602.08184 [pdf, html, other]
Title: $\star$-translation for Varsovian models
Farmer Schlutzenberg
Comments: 39 pages
Subjects: Logic (math.LO)
[4] arXiv:2602.08138 [pdf, html, other]
Title: The Game-Theoretic Katětov Order and Idealised Effective Subtoposes
Takayuki Kihara, Ming Ng
Subjects: Logic (math.LO); Category Theory (math.CT)
[5] arXiv:2602.07646 [pdf, html, other]
Title: Scott-Karp analysis without sentences
Andreas Brunner, Charles Morgan, Darllan Concieção Pinto
Comments: 23 pages
Subjects: Logic (math.LO)
[6] arXiv:2602.07644 [pdf, html, other]
Title: Some contributions to presheaf model theory, II -- back and forth
Andreas Brunner, Charles Morgan, Darllan Conceição Pinto
Comments: 44 pages
Subjects: Logic (math.LO)
[7] arXiv:2602.07166 [pdf, other]
Title: Scott spectral gaps for trees are bounded
Matthew Harrison-Trainor, Thomas Kim
Subjects: Logic (math.LO)
[8] arXiv:2602.08846 (cross-list from cs.LO) [pdf, html, other]
Title: Impredicativity in Linear Dependent Type Theory
Sam Speight, Niels van der Weide
Comments: 20 pages, 2 figures
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Logic (math.LO)
[9] arXiv:2602.08494 (cross-list from math.FA) [pdf, html, other]
Title: The Banach-Tarski paradox in complete discretely valued fields
Kamil Orzechowski
Comments: 18 pages
Subjects: Functional Analysis (math.FA); Group Theory (math.GR); Logic (math.LO)
[10] arXiv:2602.08095 (cross-list from math.NT) [pdf, other]
Title: Elementary characterisation of $\mathbb{Q}_p$ by its absolute Galois group -- A modern perspective
Leo Gitin, Jochen Koenigsmann, Benedikt Stock
Comments: 81 pages
Subjects: Number Theory (math.NT); Commutative Algebra (math.AC); Logic (math.LO)

Mon, 9 Feb 2026 (showing 9 of 9 entries )

[11] arXiv:2602.06857 [pdf, other]
Title: On evaluating the measure of strong projections in infinite dimension
Miklos Ferenczi
Subjects: Logic (math.LO)
[12] arXiv:2602.06802 [pdf, html, other]
Title: Feasible constructivism
Paul Gorbow, Øystein Linnebo
Subjects: Logic (math.LO)
[13] arXiv:2602.06728 [pdf, html, other]
Title: On countability and representations
Sam Sanders
Comments: 19 pages
Subjects: Logic (math.LO)
[14] arXiv:2602.06272 [pdf, html, other]
Title: PBNF-transform as a formulation of Propositional Calculus, I
Pelle Brooke Borgeke
Subjects: Logic (math.LO)
[15] arXiv:2602.06188 [pdf, html, other]
Title: On some algebraic properties of Plonka sums and regularized varieties
S. Bonzio, G. Zecchini
Subjects: Logic (math.LO)
[16] arXiv:2602.06927 (cross-list from cs.LO) [pdf, html, other]
Title: Topological Semantics for Common Inductive Knowledge
Siddharth Namachivayam
Comments: 30 pages
Subjects: Logic in Computer Science (cs.LO); Theoretical Economics (econ.TH); Logic (math.LO)
[17] arXiv:2602.06882 (cross-list from math.OA) [pdf, html, other]
Title: Computable $K$-theory for C*-algebras II: AF algebras
Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl
Comments: 45 pages; comments welcome!
Subjects: Operator Algebras (math.OA); Logic (math.LO)
[18] arXiv:2602.06877 (cross-list from math.OA) [pdf, html, other]
Title: Non-computability of $K$-theory for computably presented C*-algebras
Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl, Russell Miller
Comments: 5 pages; comments welcome!
Subjects: Operator Algebras (math.OA); Logic (math.LO)
[19] arXiv:2602.06253 (cross-list from cs.LO) [pdf, html, other]
Title: The proof theory and semantics of second-order (intuitionistic) tense logic
Justus Becker, Anupam Das, Sonia Marin, Paaras Padhiar
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

Fri, 6 Feb 2026 (showing 4 of 4 entries )

[20] arXiv:2602.05866 [pdf, html, other]
Title: Remarks on relative categoricity
Anand Pillay
Comments: 11 pages
Subjects: Logic (math.LO)
[21] arXiv:2602.05620 [pdf, html, other]
Title: On the computational properties of ambivalent sets and functions
Dag Normann, Sam Sanders
Comments: 15 pages. arXiv admin note: text overlap with arXiv:2401.09053
Subjects: Logic (math.LO)
[22] arXiv:2602.05558 [pdf, html, other]
Title: The uncountability of the reals and the Axiom of Choice
Dag Normann, Sam Sanders
Comments: 12 pages
Subjects: Logic (math.LO)
[23] arXiv:2602.05185 [pdf, html, other]
Title: Spectral Theory for Borel PMP Graphs
Cecelia Higgins, Pieter Spaas, Alexander Tenenbaum
Comments: 39 pages
Subjects: Logic (math.LO); Combinatorics (math.CO); Operator Algebras (math.OA); Spectral Theory (math.SP)

Thu, 5 Feb 2026 (showing 5 of 5 entries )

[24] arXiv:2602.04286 [pdf, html, other]
Title: Elementary extensions of almost o-minimal structures
Mourad Berraho, Akito Tsuboi
Subjects: Logic (math.LO)
[25] arXiv:2602.04073 [pdf, html, other]
Title: Incompleteness in Quantified Conditional Logic
Alexander W. Kocurek, James Walsh, Yale Weiss
Subjects: Logic (math.LO)
[26] arXiv:2602.04610 (cross-list from math.CO) [pdf, html, other]
Title: Structured sunflowers and Ramsey properties
Rob Sullivan, Jeroen Winkel
Subjects: Combinatorics (math.CO); Logic (math.LO)
[27] arXiv:2602.04488 (cross-list from cs.LO) [pdf, html, other]
Title: Intentic Semantics for Potentialist Truthmaking
Paul Gorbow
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[28] arXiv:2602.04468 (cross-list from math.NT) [pdf, html, other]
Title: Hilbert's tenth problem for finitely generated rings
Peter Koymans, Carlo Pagano
Comments: Submitted to Notices of the AMS
Subjects: Number Theory (math.NT); Logic (math.LO)

Wed, 4 Feb 2026 (showing 8 of 8 entries )

[29] arXiv:2602.03391 [pdf, html, other]
Title: Forcing and classes of $\mathsf{HYP}$-dominating functions
Noam Greenberg, Gian Marco Osso
Subjects: Logic (math.LO)
[30] arXiv:2602.03261 [pdf, other]
Title: On some NIP Fragments of Fields
Paulo Andrés Soto Moreno
Subjects: Logic (math.LO)
[31] arXiv:2602.02976 [pdf, html, other]
Title: Computational techniques for sheaf cohomology of locally profinite sets
Mark Schachner
Comments: 22 pages, 4 figures
Subjects: Logic (math.LO); Algebraic Topology (math.AT)
[32] arXiv:2602.02940 [pdf, html, other]
Title: A vector logic for intensional formal semantics
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)
[33] arXiv:2602.02854 [pdf, html, other]
Title: Categoricity for inferential $ω$-logic and $L_{ω_1,ω}$
John T. Baldwin, Constantin C. Brîncuş
Subjects: Logic (math.LO)
[34] arXiv:2602.02837 [pdf, html, other]
Title: Monotonicity versus positivity in modal logics
Lev Dvorkin
Comments: 35 pages, comments are welcome
Subjects: Logic (math.LO)
[35] arXiv:2602.02933 (cross-list from math.GR) [pdf, html, other]
Title: Nonstandard free groups
Alexei Miasnikov, Andrey Nikolaev
Comments: 25 pages
Subjects: Group Theory (math.GR); Logic (math.LO)
[36] arXiv:2602.02926 (cross-list from math.OA) [pdf, html, other]
Title: Topologically free non-Hausdorff groupoids
Lisa Orloff Clark, Ryan Thompson, Ilija Tolich
Subjects: Operator Algebras (math.OA); Logic (math.LO)
Total of 36 entries
Showing up to 50 entries per page: fewer | more | all