Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete

DOI10.4064/FM673-12-2018zbMath1477.03189arXiv1804.08152OpenAlexW2968531770MaRDI QIDQ5207329

Saharon Shelah, Douglas Ulrich

Publication date: 19 December 2019

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.08152

zbMATH Keywords

Borel complexitytorsion-free abelian groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Descriptive set theory (03E15) Large cardinals (03E55) Torsion-free groups, infinite rank (20K20) Torsion-free groups, finite rank (20K15) Set-theoretic model theory (03C55)

Cites Work

• Characterization of \(\omega\)-stable theories of bounded dimension
• Better quasi-orders for uncountable cardinals
• What is the theory without power set?
• A Borel reductibility theory for classes of countable structures
• The bi-embeddability relation for countable abelian groups
• The isomorphism relation on countable torsion free abelian groups
• A large cardinal in the constructible universe
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete