Skip to main content

Logic

Authors and titles for recent submissions

See today's new changes

Total of 53 entries : 1-50 51-53
Showing up to 50 entries per page: fewer | more | all

Fri, 16 Oct 2026 (showing 12 of 12 entries )

[1] arXiv:2610.22351 [pdf, other]
Title: The rank problem for metric spaces
Asger Tornquist
Comments: 42 pages
Subjects: Logic (math.LO); Metric Geometry (math.MG)
[2] arXiv:2610.22317 [pdf, html, other]
Title: Differential equations as difference-differential equations
Wei Li, Thomas Scanlon
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[3] arXiv:2610.22205 [pdf, html, other]
Title: Classification of bipartite observables III: simplicity, mixtures and quantum error correction
Eduardo Dueñez, José Iovino
Comments: 24 pages. Third paper of the series "Classification of Bipartite Observables" by the same authors
Subjects: Logic (math.LO); Quantum Physics (quant-ph)
[4] arXiv:2610.22002 [pdf, html, other]
Title: Indiscernible Extraction in Theories with Bounded $k$-splitting
Connor Watson
Subjects: Logic (math.LO)
[5] arXiv:2610.21967 [pdf, html, other]
Title: Discrete Temporal CSPs et al
Lukas Pieper
Subjects: Logic (math.LO); Computational Complexity (cs.CC)
[6] arXiv:2610.21738 [pdf, html, other]
Title: Local definable $(p,q)$-theorem and a refinement
Gareth John Boxall, Charlotte Kestner, Tsinjo Rakotonarivo
Comments: 17 pages, comments welcome
Subjects: Logic (math.LO)
[7] arXiv:2610.20956 [pdf, html, other]
Title: Duality Theory for Sequent Algebras
Sergio A. Celani, William Zuluaga
Subjects: Logic (math.LO); Category Theory (math.CT)
[8] arXiv:2610.20758 [pdf, html, other]
Title: Radon measures in the Berkovich space and generically stable measures in ACVF
Alf Onshuus, Mariana Vicaria
Comments: 34 pages
Subjects: Logic (math.LO)
[9] arXiv:2610.22123 (cross-list from math.DS) [pdf, html, other]
Title: An undecidable problem in dynamics
Jason Bell
Comments: 11 pages
Subjects: Dynamical Systems (math.DS); Logic (math.LO); Number Theory (math.NT)
[10] arXiv:2610.21725 (cross-list from math.CA) [pdf, html, other]
Title: Bézout bounds and rational points on quasianalytic graphs
Armin Rainer
Comments: 18 pages
Subjects: Classical Analysis and ODEs (math.CA); Functional Analysis (math.FA); Logic (math.LO); Number Theory (math.NT)
[11] arXiv:2610.21131 (cross-list from cs.PL) [pdf, html, other]
Title: Normalization by Evaluation with Substitutions as Operations
Jason Z. S. Hu
Subjects: Programming Languages (cs.PL); Logic (math.LO)
[12] arXiv:2610.20691 (cross-list from math.NT) [pdf, html, other]
Title: 86 unknowns for Hilbert's tenth problem over the rationals
Zhi-Wei Sun
Comments: 42 pages
Subjects: Number Theory (math.NT); Logic (math.LO)

Thu, 15 Oct 2026 (showing 5 of 5 entries )

[13] arXiv:2610.20115 [pdf, html, other]
Title: A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering
Fedor Pakhomov, Vlad Lazar
Subjects: Logic (math.LO)
[14] arXiv:2610.19283 [pdf, html, other]
Title: What David Teaches Goliath: An Inevitable Extension of ZFC
Ali Enayat
Comments: 12 pages
Subjects: Logic (math.LO)
[15] arXiv:2610.19088 [pdf, html, other]
Title: Measures in Nairian models, I
Gabriel Goldberg, Grigor Sargsyan
Subjects: Logic (math.LO)
[16] arXiv:2610.19940 (cross-list from cs.LO) [pdf, html, other]
Title: A Non-Dichotomy for CSPs of Stable $ω$-Categorical Structures
Manuel Bodirsky, David Bradley-Williams, Ehud Hrushovski, Christoph Spiess
Comments: 35 pages
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[17] arXiv:2610.19689 (cross-list from math.AG) [pdf, html, other]
Title: The regular inverse Galois problem over fields avoiding a curve
Jinhe Ye
Subjects: Algebraic Geometry (math.AG); Logic (math.LO)

Wed, 14 Oct 2026 (showing 25 of 25 entries )

[18] arXiv:2610.18753 [pdf, html, other]
Title: On separable pairs of fields and beautiful pairs of separably closed valued fields
Zhengqing He, Martin Hils
Comments: 23 pages
Subjects: Logic (math.LO)
[19] arXiv:2610.17547 [pdf, html, other]
Title: Fragments of SRP, the nonstationary ideal, and diagonal reflection
Gunter Fuchs, Hiroshi Sakai
Subjects: Logic (math.LO)
[20] arXiv:2610.17455 [pdf, html, other]
Title: Functional Projection and Complexity Reduction
Vera Fischer, Yurii Khomskii, Yipu Li, Julia Millhouse
Subjects: Logic (math.LO)
[21] arXiv:2610.17049 [pdf, html, other]
Title: On the foundations of logic and probability, II. Modal probability spaces
Loic Cosyns
Subjects: Logic (math.LO); Probability (math.PR)
[22] arXiv:2610.16804 [pdf, html, other]
Title: Linear Logic via algebra I: Girard algebras
Paolo Agliano, Mitar Nedeljkovic
Subjects: Logic (math.LO)
[23] arXiv:2610.16775 [pdf, html, other]
Title: Proper varieties of distributive l-pregroups are periodic
Nikolaos Galatos, Simon Santschi
Comments: 27 pages, 3 Figures
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[24] arXiv:2610.16672 [pdf, html, other]
Title: Tight $σ$-filtrations and the BFPP of $C(ω^*)$
Antonio Avilés, Maurício Rossetto
Comments: 14 pages
Subjects: Logic (math.LO); Functional Analysis (math.FA)
[25] arXiv:2610.16475 [pdf, html, other]
Title: Remarks on ultrafilters exponentiation
Lorenzo Luperi Baglini, Boris Šobot
Subjects: Logic (math.LO); Combinatorics (math.CO)
[26] arXiv:2610.16163 [pdf, html, other]
Title: A characterization of the finite model property for $ω$-categorical theories
Vera Koponen
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
[27] arXiv:2610.16059 [pdf, html, other]
Title: Baire measurable functions and automorphisms of the truth-table degrees
Bjørn Kjos-Hanssen
Subjects: Logic (math.LO)
[28] arXiv:2610.15680 [pdf, html, other]
Title: Teams, Truthmakers, Translations
Maria Aloni, Alexandru Baltag, Johan van Benthem, Nick Bezhanishvili, Søren Brinck Knudstorp
Comments: 27 pages
Subjects: Logic (math.LO)
[29] arXiv:2610.15217 [pdf, html, other]
Title: A counterexample to Vaught's Conjecture for $L_{ω_1,ω}$
Nathanael L. Ackerman, Cameron E. Freer, Robin W. Knight
Comments: 26 pages
Subjects: Logic (math.LO)
[30] arXiv:2610.15080 [pdf, html, other]
Title: Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization
Zoltán Gábor Molnár, Csaba Tóth
Comments: 41 pages, 1 figure. Rocq formalization: this https URL
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO); Category Theory (math.CT)
[31] arXiv:2610.15018 [pdf, html, other]
Title: Nonstandard combinatorial ultrafilters and a new local witness model
Johannes Heil, Moritz Müller
Subjects: Logic (math.LO)
[32] arXiv:2610.14859 [pdf, html, other]
Title: A Countable Three-Generated Orthomodular Lattice with No $σ$-Complete Embedding
Joaquim Reizi Higuchi (Graduate School, Program in Natural Sciences, The Open University of Japan, Chiba, Japan)
Comments: 8 pages, no figures; AI-use disclosure updated, verification scope retained; mathematical statements and proofs unchanged
Subjects: Logic (math.LO); Rings and Algebras (math.RA)
[33] arXiv:2610.14548 [pdf, html, other]
Title: Order-preserving maps of the Turing degrees: regularity and consistency strength
Liang Yu
Subjects: Logic (math.LO)
[34] arXiv:2610.14417 [pdf, html, other]
Title: A Nullstellensatz for the field of complex Laurent series
Pablo Cubides Kovacsics, Sebastián Uribe Rincón
Comments: Comments welcome!
Subjects: Logic (math.LO); Commutative Algebra (math.AC)
[35] arXiv:2610.14399 [pdf, html, other]
Title: Controlling The Skips of Arithmetic Sets
Taeyoung Em
Comments: 34 pages
Subjects: Logic (math.LO)
[36] arXiv:2610.18692 (cross-list from math.GN) [pdf, html, other]
Title: Chain Continuity and Scott-Closed Interpolation
Yuxu Chen
Subjects: General Topology (math.GN); Logic (math.LO)
[37] arXiv:2610.18528 (cross-list from math.CO) [pdf, html, other]
Title: High-Arity Rademacher Complexity and Uniform Laws of Large Numbers
Aaron Anderson, Henry Towsner
Subjects: Combinatorics (math.CO); Logic (math.LO); Statistics Theory (math.ST)
[38] arXiv:2610.18402 (cross-list from math.CO) [pdf, html, other]
Title: Ramsey properties of trees and $C$-relations via the partite construction
Hyoyoon Lee
Comments: 29 pages
Subjects: Combinatorics (math.CO); Logic (math.LO)
[39] arXiv:2610.18287 (cross-list from cs.LO) [pdf, html, other]
Title: Finite-on-Top-of-Temporal CSPs in Fixed-Point Logic
Manuel Bodirsky, Philipp A. Grzywaczyk
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[40] arXiv:2610.17435 (cross-list from math.OA) [pdf, html, other]
Title: Model theory of quasitracial $\mathrm{AW}^*$-algebras and the absoluteness of monotone completeness
Jananan Arulseelan
Comments: 55 pages, comments welcome
Subjects: Operator Algebras (math.OA); Logic (math.LO)
[41] arXiv:2610.16473 (cross-list from cs.LO) [pdf, other]
Title: Some complete $ω$-powers of a one-counter language in the difference hierarchy
Jacques Duparc (UNIL), Olivier Finkel (IMJ-PRG (UMR\_7586)), Dominique Lecomte (IMJ-PRG (UMR\_7586))
Subjects: Logic in Computer Science (cs.LO); General Topology (math.GN); Logic (math.LO)
[42] arXiv:2610.15785 (cross-list from math.DS) [pdf, html, other]
Title: Translational tilings by axis-parallel polygonal sets
Jaume de Dios Pont, Jan Grebík, Rachel Greenfeld, José Madrid
Subjects: Dynamical Systems (math.DS); Combinatorics (math.CO); Logic (math.LO)

Mon, 12 Oct 2026 (showing 5 of 5 entries )

[43] arXiv:2610.13770 [pdf, html, other]
Title: Pseudofinite abelian groups and asymptotic classes of finite abelian groups
Carlos Cordoba-Caycedo, Dario Garcia
Subjects: Logic (math.LO)
[44] arXiv:2610.13551 [pdf, html, other]
Title: Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs
Cecelia Higgins, Pieter Spaas, Sofia Torelli
Subjects: Logic (math.LO); Combinatorics (math.CO); Operator Algebras (math.OA); Spectral Theory (math.SP)
[45] arXiv:2610.12964 [pdf, html, other]
Title: The strength of the minimum principle in constructive reverse mathematics
Tatsuji Kawai
Subjects: Logic (math.LO)
[46] arXiv:2610.12612 (cross-list from math.GN) [pdf, html, other]
Title: Ultrafilter characters and local $π$-bases
Jerzy Kcakol
Subjects: General Topology (math.GN); Logic (math.LO)
[47] arXiv:2610.12513 (cross-list from math.CO) [pdf, html, other]
Title: Maximal Order Type and Width of the h-Preorder on Finite Labeled Trees
Ilya Smirnov
Comments: 12 pages
Subjects: Combinatorics (math.CO); Logic (math.LO)

Fri, 9 Oct 2026 (showing first 3 of 6 entries )

[48] arXiv:2610.11753 [pdf, html, other]
Title: Independence of premise for intuitionistic Zermelo-Fraenkel set theory
Patrick Uftring
Subjects: Logic (math.LO)
[49] arXiv:2610.11078 [pdf, html, other]
Title: Condensed Whitehead Problem
Spencer Unger, Jerry Wei
Subjects: Logic (math.LO); Group Theory (math.GR)
[50] arXiv:2610.12434 (cross-list from math.DS) [pdf, html, other]
Title: Global asymptotic stability of homogeneous polynomial vector fields is undecidable
Ivan O. Shevchenko, Jun Liu, Xinzhi Liu
Comments: 50 pages
Subjects: Dynamical Systems (math.DS); Classical Analysis and ODEs (math.CA); Logic (math.LO)
Total of 53 entries : 1-50 51-53
Showing up to 50 entries per page: fewer | more | all