arXiv math.LO Logic

Sam Speight, Niels van der Weide: Impredicativity in Linear Dependent Type Theory https://arxiv.org/abs/2602.08846 https://arxiv.org/pdf/2602.08846 https://arxiv.org/html/2602.08846

Kamil Orzechowski: The Banach-Tarski paradox in complete discretely valued fields https://arxiv.org/abs/2602.08494 https://arxiv.org/pdf/2602.08494 https://arxiv.org/html/2602.08494

Leo Gitin, Jochen Koenigsmann, Benedikt Stock: Elementary characterisation of $\mathbb{Q}_p$ by its absolute Galois group -- A modern perspective https://arxiv.org/abs/2602.08095 https://arxiv.org/pdf/2602.08095 https://arxiv.org/html/2602.08095

Erin Carmody: Mitchell rank for supercompactness https://arxiv.org/abs/2602.08852 https://arxiv.org/pdf/2602.08852 https://arxiv.org/html/2602.08852

Quentin Le Hou\'erou, Ludovic Patey: Partition theorems for Ketonen-Solovay largeness https://arxiv.org/abs/2602.08778 https://arxiv.org/pdf/2602.08778 https://arxiv.org/html/2602.08778

Farmer Schlutzenberg: $\star$-translation for Varsovian models https://arxiv.org/abs/2602.08184 https://arxiv.org/pdf/2602.08184 https://arxiv.org/html/2602.08184

Takayuki Kihara, Ming Ng: The Game-Theoretic Kat\v{e}tov Order and Idealised Effective Subtoposes https://arxiv.org/abs/2602.08138 https://arxiv.org/pdf/2602.08138 https://arxiv.org/html/2602.08138

Andreas Brunner, Charles Morgan, Darllan Concie\c{c}\~ao Pinto: Scott-Karp analysis without sentences https://arxiv.org/abs/2602.07646 https://arxiv.org/pdf/2602.07646 https://arxiv.org/html/2602.07646

Andreas Brunner, Charles Morgan, Darllan Concei\c{c}\~ao Pinto: Some contributions to presheaf model theory, II -- back and forth https://arxiv.org/abs/2602.07644 https://arxiv.org/pdf/2602.07644 https://arxiv.org/html/2602.07644

Matthew Harrison-Trainor, Thomas Kim: Scott spectral gaps for trees are bounded https://arxiv.org/abs/2602.07166 https://arxiv.org/pdf/2602.07166 https://arxiv.org/html/2602.07166

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

Siddharth Namachivayam: Topological Semantics for Common Inductive Knowledge https://arxiv.org/abs/2602.06927 https://arxiv.org/pdf/2602.06927 https://arxiv.org/html/2602.06927

Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl: Computable $K$-theory for C*-algebras II: AF algebras https://arxiv.org/abs/2602.06882 https://arxiv.org/pdf/2602.06882 https://arxiv.org/html/2602.06882

Christopher J. Eagle, Isaac Goldbring, Timothy H. McNicholl, Russell Miller: Non-computability of $K$-theory for computably presented C*-algebras https://arxiv.org/abs/2602.06877 https://arxiv.org/pdf/2602.06877 https://arxiv.org/html/2602.06877

Justus Becker, Anupam Das, Sonia Marin, Paaras Padhiar: The proof theory and semantics of second-order (intuitionistic) tense logic https://arxiv.org/abs/2602.06253 https://arxiv.org/pdf/2602.06253 https://arxiv.org/html/2602.06253

Miklos Ferenczi: On evaluating the measure of strong projections in infinite dimension https://arxiv.org/abs/2602.06857 https://arxiv.org/pdf/2602.06857 https://arxiv.org/html/2602.06857

Paul Gorbow, {\O}ystein Linnebo: Feasible constructivism https://arxiv.org/abs/2602.06802 https://arxiv.org/pdf/2602.06802 https://arxiv.org/html/2602.06802

Sam Sanders: On countability and representations https://arxiv.org/abs/2602.06728 https://arxiv.org/pdf/2602.06728 https://arxiv.org/html/2602.06728

Pelle Brooke Borgeke: PBNF-transform as a formulation of Propositional Calculus, I https://arxiv.org/abs/2602.06272 https://arxiv.org/pdf/2602.06272 https://arxiv.org/html/2602.06272

S. Bonzio, G. Zecchini: On some algebraic properties of Plonka sums and regularized varieties https://arxiv.org/abs/2602.06188 https://arxiv.org/pdf/2602.06188 https://arxiv.org/html/2602.06188

[2026-02-09 Mon (UTC), 5 new articles found for mathLO Logic]

David Gao, David Jekel, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell: Exotic full factors via weakly coarse bimodules https://arxiv.org/abs/2602.00930 https://arxiv.org/pdf/2602.00930 https://arxiv.org/html/2602.00930

Tomasz Kania: Non-standard analysis for coherent risk estimation: hyperfinite representations, discrete Kusuoka formulae, and plug-in asymptotics https://arxiv.org/abs/2602.00784 https://arxiv.org/pdf/2602.00784 https://arxiv.org/html/2602.00784

Jo\~ao Dias, Bruno Dinis, Carlos Correia Ramos: Decomposable shuffles https://arxiv.org/abs/2602.00461 https://arxiv.org/pdf/2602.00461 https://arxiv.org/html/2602.00461

James E. Hanson, Connor Watson: A formula for any real number, maybe https://arxiv.org/abs/2602.02384 https://arxiv.org/pdf/2602.02384 https://arxiv.org/html/2602.02384

Roman Feller, Michael Pinsker: Decidability of Interpretability https://arxiv.org/abs/2602.02302 https://arxiv.org/pdf/2602.02302 https://arxiv.org/html/2602.02302

Paul Gartside, Thomas Gilton: The Cofinality of Generating Familes https://arxiv.org/abs/2602.02211 https://arxiv.org/pdf/2602.02211 https://arxiv.org/html/2602.02211

Davide Carolillo, Yifan Jia, Bakh Khoussainov, Rizos Sklinos: Model theory of term algebras revisited https://arxiv.org/abs/2602.01819 https://arxiv.org/pdf/2602.01819 https://arxiv.org/html/2602.01819

Ningyuan Yao, Zhentao Zhang: Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups https://arxiv.org/abs/2602.01810 https://arxiv.org/pdf/2602.01810 https://arxiv.org/html/2602.01810

Yasuo Yoshinobu: Convex sets and Axiom of Choice https://arxiv.org/abs/2602.01739 https://arxiv.org/pdf/2602.01739 https://arxiv.org/html/2602.01739