0″-Categorical Completely Decomposable Torsion-Free Abelian Groups

DOI10.1007/978-3-642-03073-4_37zbMath1268.03042OpenAlexW1545991704MaRDI QIDQ3576068

Alexander G. Melnikov

Publication date: 28 July 2010

Published in: Mathematical Theory and Computational Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03073-4_37

zbMATH Keywords

computable categoricitycomputable model theorytorsion-free abelian groups

Mathematics Subject Classification ID

Torsion-free groups, infinite rank (20K20) Torsion-free groups, finite rank (20K15) Computable structure theory, computable model theory (03C57) Categoricity and completeness of theories (03C35)

Related Items (2)

Effectively categorical abelian groups ⋮ Torsion-free abelian groups with optimal Scott families

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Autostability of models and Abelian groups
• Autostability of models
• Problem of the number of non-self-equivalent constructivizations
• \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
• Abelian groups without elements of finite order
• Computable categoricity of trees of finite height
• Recursively Categorical Linear Orderings

This page was built for publication: 0″-Categorical Completely Decomposable Torsion-Free Abelian Groups