Abstract
We show that every homogeneous completely decomposable torsion-free abelian group is 0″-categorical. We give a description of effective categoricity for some natural class of torsion-free abelian groups. In particular, we give examples of 0″-categorical but not 0′-categorical torsion-free abelian groups.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baer, R.: Abelian Groups Without Elements of Finite Order. Duke Math. J. 3, 68–122 (1937)
Ershov, Y.L., Goncharov, S.S.: Constructive Models, Novosibirsk, Nauchnaya Kniga (1999)
Goncharov, S.S.: Countable Boolean Algebras and Decidability. Siberian School of Algebra and Logic, Novosibirsk, Nauchnaya Kniga (1996)
Goncharov, S.S.: Autostability of Models and Abelian Groups. Algebra and Logic 19, 13–27 (1980) (English translation)
Goncharov, S.S.: The Problem of the Number of Non-Autoequivalent Constructivisations. Algebra and Logic 19, 401–414 (1980) (English translation)
Goncharov, S.S., Dzgoev, V.D.: Autostability of Models. Algebra and Logic 19(1), 45–58 (1980)
Lempp, S., McCoy, C., Miller, R., Solomon, R.: Computable Categoricity of Trees of Finite Height. Journal of Symbolic Logic (2005)
McCoy, C.: Categoricity in Boolean Algebras and Linear Orderings. Annals of Pure and Applied Logic 119, 85–120 (2003)
Nurtazin, A.T.: Computable Classes and Algebraic Criteria of Autostability. Summary of Scientific Schools, Math. Inst. SB USSRAS, Novosibirsk (1974)
Remmel, J.B.: Recursively Categorical Linear Orderings. Proc. Amer. Math. Soc. 83, 387–391 (1981)
Soare, R.I.: Recursively Enumerable Sets and Degrees. Springer, Heidelberg (1987)
Fuchs, L.: Infinite Abelian Groups, vol. I, II. Academic Press, London (1973)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Melnikov, A.G. (2009). 0″-Categorical Completely Decomposable Torsion-Free Abelian Groups. In: Ambos-Spies, K., Löwe, B., Merkle, W. (eds) Mathematical Theory and Computational Practice. CiE 2009. Lecture Notes in Computer Science, vol 5635. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03073-4_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-03073-4_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03072-7
Online ISBN: 978-3-642-03073-4
eBook Packages: Computer ScienceComputer Science (R0)