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

Radon measures in the Berkovich space and generically stable measure... arXiv:2610.20758 Duality Theory for Sequent Algebras arXiv:2610.20956 Local definable (p,q)-theorem and a refinement arXiv:2610.21738

Measures in Nairian models, I arXiv:2610.19088 What David Teaches Goliath: An Inevitable Extension of ZFC arXiv:2610.19283 A Reflection Calculus for Bar Induction and the Linearity of Consist... arXiv:2610.20115

The strength of the minimum principle in constructive reverse mathem... arXiv:2610.12964 Spectral Theory and Descriptive Combinatorics for Non-Regular Borel ... arXiv:2610.13551 Pseudofinite abelian groups and asymptotic classes of finite abelian... arXiv:2610.13770

Condensed Whitehead Problem arXiv:2610.11078 Independence of premise for intuitionistic Zermelo-Fraenkel set theory arXiv:2610.11753

On omega-powers of infinite difference rank arXiv:2610.10089 Points and their multiples on curves in powers of simple abelian var... arXiv:2610.10209