On the Borel completeness of torsion-free abelian groups and a Slaman-Wehner degree spectrum

George Crittenden; Matthew Harrison-Trainor

Home/Archive/arXiv

arXiv · 2610.05451

On the Borel completeness of torsion-free abelian groups and a Slaman-Wehner degree spectrum

George Crittenden·Matthew Harrison-Trainor

View original source ↗Read source document ↗Export metadata ↓

Abstract

It was recently shown by Paolini and Shelah, with another proof by Laskowski and Ulrich, that torsion-free abelian groups are Borel complete. This means that isomorphism for torsion-free abelian groups is as complicated as possible, so that torsion-free abelian groups do not admit any meaningful complete isomorphism invariants. We give a proof following the ideas of the Paolini-Shelah argument but with several expository advantages. In particular, the combinatorial part of the argument is much simplified. We make use of the ideas of this proof to show that there is a torsion-free abelian group with no computable copy but with a copy computable from every non-computable set. This answers a long-standing question of Downey and Goncharov.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

George Crittenden, Matthew Harrison-Trainor. 2026-10-04. On the Borel completeness of torsion-free abelian groups and a Slaman-Wehner degree spectrum. https://arxiv.org/abs/2610.05451

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Classical Logic as Intuitionistic Logic with Duality

The field of proof-theoretic semantics (P-tS) offers an alternative approach to meaning in logic that is based on inference and argument (rather than truth in a model). It has been successfully developed for various logics; in particular, Sandqvist has developed such semantics for both classical and intuitionistic logic. In the case of classical logic, P-tS provides a conception of consequence that avoids an a priori commitment to the principle of bivalence, addressing what Dummett identified as a significant foundational challenge in logic. In this paper, we propose an alternative P-tS for classical logic, which essentially extends the P-tS for intuitionistic logic by operating over literals rather than atomic propositions. Importantly, literals are atomic and not defined by negation but are related by a primitive duality encoded inferentially at the atomic level. This semantics illustrates the perspective that classical logic can be understood as intuitionistic logic supplemented by a principle of duality, offering fresh insights into the relationship between these two systems.

math.LO↗

arXiv2026

On some NIP Fragments of Fields

In this document we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued Fields of any characteristic and any imperfection degree are NIP, and use this result to fill some gaps of a proof of the so-called NIP Transfer Theorem for henselian valued fields of equal characteristic. Second, we prove a variant of a theorem of Johnson: every positive characteristic valued field whose existential formulas are NIP is henselian, and generalize this result for finer sets of existential formulas, like positive existential with a given number of quantifiers, in type-definable fields. Finally, we set the ground for the finer question of transfer of NIP formulas of valued fields with bounded quantifier rank. Namely, we prove that for any henselian equicharacteristic valued field, any formula of quantifier rank at most $n\geq 1$ is NIP if and only if the same is true for the residue field and the value group, provided that the valued field is separably defectless Kaplansky and conditional on a multi-variable generalization of a well known statement about indiscernible sequences of singletons in ac-valued fields.

math.LO↗

arXiv2026

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals

Let $k$ be a complete valuation field. We define freeness of a Banach $k$-vector space as the existence of an orthonormal Schauder basis, and almost freeness of a Banach $k$-vector space as a non-Archimedean Banach space analogue of almost freeness of an Abelian group. As non-Archimedean Banach space analogues of the classical facts that an almost free Abelian group is free under the assumption that its cardinality is $\aleph_1$-strongly compact or weakly compact, we show that an almost free Banach $k$-vector space is free under similar assumptions.

math.LO↗