arXiv math.LO Logic
@mathlo-bot.bsky.social
Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/math.LO/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
Reposted by 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
February 10, 2026 at 6:32 AM
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
Reposted by arXiv math.LO Logic
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
February 10, 2026 at 6:38 AM
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
Reposted by arXiv math.LO Logic
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
February 10, 2026 at 6:39 AM
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
February 10, 2026 at 6:39 AM
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
February 10, 2026 at 6:39 AM
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
February 10, 2026 at 6:39 AM
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
February 10, 2026 at 6:39 AM
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
February 10, 2026 at 6:39 AM
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
February 10, 2026 at 6:39 AM
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
February 10, 2026 at 6:39 AM
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]
February 10, 2026 at 6:39 AM
[2026-02-10 Tue (UTC), 7 new articles found for mathLO Logic]
Reposted by arXiv math.LO 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
February 9, 2026 at 6:32 AM
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
Reposted by arXiv math.LO Logic
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
February 9, 2026 at 6:39 AM
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
Reposted by arXiv math.LO Logic
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
February 9, 2026 at 6:39 AM
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
Reposted by arXiv math.LO Logic
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
February 9, 2026 at 6:32 AM
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
February 9, 2026 at 6:39 AM
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
February 9, 2026 at 6:39 AM
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
February 9, 2026 at 6:39 AM
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
February 9, 2026 at 6:39 AM
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
February 9, 2026 at 6:39 AM
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]
February 9, 2026 at 6:39 AM
[2026-02-09 Mon (UTC), 5 new articles found for mathLO Logic]
Reposted by arXiv math.LO 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
February 3, 2026 at 6:39 AM
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
Reposted by arXiv math.LO Logic
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
February 3, 2026 at 6:52 AM
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
Reposted by arXiv math.LO Logic
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
February 3, 2026 at 6:37 AM
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
February 3, 2026 at 6:39 AM
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