arXiv math.LO Logic

Finite \mathbf{BM}-algebras and fixed-point combinators arXiv:2610.37108 Relative distality and incidence bounds in positive characteristic arXiv:2610.37532

A direct proof of Infinity in NF-0 arXiv:2610.35928 On various notions of universally Baire sets and reflection of non-B... arXiv:2610.36265 Dependent choice and iterated beta_n-model reflection arXiv:2610.36982

Comparisons of benchmark equivalence relations arXiv:2610.35025

J\'onsson cardinals, Magidor cardinals, and the number of omitted co... arXiv:2610.34189 Inductive Grounded Arithmetic: Goodstein, the Hydra, and \Gamma_0 arXiv:2610.34548 Forcing square with small conditions arXiv:2610.34900

Amenable subrelations of treeable equivalence relations and applicat... arXiv:2610.32038 Interpolation in the Inquisitive Hierarchy arXiv:2610.32366 On the complexity of Medvedev reducibility arXiv:2610.32522

There is no universal F_\sigma equivalence relation arXiv:2610.31052 Groups satisfying the minimal condition on centralizers are complete... arXiv:2610.31601

Non-aware computable presentations of randomizations arXiv:2610.30569 Analytification and tropicalization via hyperfields and definable types arXiv:2610.30762 Set-theoretic inevitability arXiv:2610.31040

Reflections on Trusting Lean arXiv:2610.30433 A Study in Solution Models for SAT using the PBNF-transform arXiv:2610.30523 Computable presentations of separable Lebesgue spaces arXiv:2610.30565

Choice principles in countable partition models arXiv:2610.29752

Closed maximal eventually different families for \boldsymbol{\Sigma}... arXiv:2610.28275

Hyperwellfoundedness and Eventual Domination arXiv:2610.27477 The first-order part of the Ordered Variable Word theorem arXiv:2610.27643 There can be equitable social welfare orders but no fair voting system arXiv:2610.28269

On stable semilinear sets in ordered vector spaces arXiv:2610.26335 Well-ordering principles over recursive comprehension arXiv:2610.26336 Sublinear Michaux-Villemaire over (\mathbb{N}, +, k^\mathbb{N}) arXiv:2610.26409

Two Generalizations of the G_0 Dichotomy arXiv:2610.25587 Big Ramsey degrees and structures in relational languages arXiv:2610.25715 Jumps and Iterated Jumps of Perfect Subtrees of Positive Trees arXiv:2610.25769

A sound pure type system with ranks as sorts and Type-in-Type arXiv:2610.25085 Identity crisis on tightly C^{(2)}-compact cardinals arXiv:2610.25099 Studying proof data with proof theory: the case of AI-generated math... arXiv:2610.25357

Model Theory of Products of Chains arXiv:2610.24683 The pattern of consistency strength for membership in a computably e... arXiv:2610.24919 Equivalence of Restricted and Full Division arXiv:2610.24976

A Kleene-inspired sequent system for a minimal logic of evidence and... arXiv:2610.24203 Weakly uniform computable categoricity and function composition arXiv:2610.24422 Short proof that Vop\v{e}nka's Principle is symmetrically stable arXiv:2610.24570

A technical note on universal formula pcas arXiv:2610.23365

Proof Perplexity: A Probabilistic Approach to Measuring non-triviali... arXiv:2610.22612 Models of Arbitrary Sets arXiv:2610.23219 The Compactness Theorem for Enriched Logic arXiv:2610.23278

Differential equations as difference-differential equations arXiv:2610.22317 The rank problem for metric spaces arXiv:2610.22351

Discrete Temporal CSPs et al arXiv:2610.21967 Indiscernible Extraction in Theories with Bounded k-splitting arXiv:2610.22002 Classification of bipartite observables III: simplicity, mixtures an... arXiv:2610.22205