arXiv math.LO Logic

Unofficial bot by @vela with @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...

[arXiv math.LO Logic @mathLOb]

There is no universal F_\sigma equivalence relation
arXiv:2610.31052

Groups satisfying the minimal condition on centralizers are complete...
arXiv:2610.31601

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

Choice principles in countable partition models
arXiv:2610.29752

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

A technical note on universal formula pcas
arXiv:2610.23365

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

Differential equations as difference-differential equations
arXiv:2610.22317

The rank problem for metric spaces
arXiv:2610.22351

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

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

[arXiv math.LO Logic @mathLOb]

Condensed Whitehead Problem
arXiv:2610.11078

Independence of premise for intuitionistic Zermelo-Fraenkel set theory
arXiv:2610.11753

[arXiv math.LO Logic @mathLOb]

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