Annals of Pure and Applied Logic 159 (1-2):187-197 (2009)

Valentina Harizanov
George Washington University
We investigate effective categoricity of computable Abelian p-groups . We prove that all computably categorical Abelian p-groups are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. We investigate which computable Abelian p-groups are categorical and relatively categorical
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2008.11.003
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,436
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Generic Copies of Countable Structures.Chris Ash, Julia Knight, Mark Manasse & Theodore Slaman - 1989 - Annals of Pure and Applied Logic 42 (3):195-205.
Computable Models of Theories with Few Models.Bakhadyr Khoussainov, Andre Nies & Richard A. Shore - 1997 - Notre Dame Journal of Formal Logic 38 (2):165-178.
Recursive Isomorphism Types of Recursive Boolean Algebras.J. B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):572-594.

View all 15 references / Add more references

Citations of this work BETA

Abelian P -Groups and the Halting Problem.Rodney Downey, Alexander G. Melnikov & Keng Meng Ng - 2016 - Annals of Pure and Applied Logic 167 (11):1123-1138.
Computable Abelian Groups.Alexander G. Melnikov - 2014 - Bulletin of Symbolic Logic 20 (3):315-356,.
PAC Learning, VC Dimension, and the Arithmetic Hierarchy.Wesley Calvert - 2015 - Archive for Mathematical Logic 54 (7-8):871-883.

Add more citations

Similar books and articles

Space Complexity of Abelian Groups.Douglas Cenzer, Rodney G. Downey, Jeffrey B. Remmel & Zia Uddin - 2009 - Archive for Mathematical Logic 48 (1):115-140.
Relative Categoricity in Abelian Groups II.Wilfrid Hodges & Anatoly Yakovlev - 2009 - Annals of Pure and Applied Logic 158 (3):203-231.
The Model Theory of Finitely Generated Finite-by-Abelian Groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Some Model Theory of Abelian Groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
Axiomatization of Abelian-by- G Groups for a Finite Group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
P-Compatible Abelian Groups.Krystyna Mruczek-Nasieniewska - 2005 - Logic and Logical Philosophy 14 (2):253-263.
Existential Equivalence of Ordered Abelian Groups with Parameters.V. Weispfenning - 1990 - Archive for Mathematical Logic 29 (4):237-248.


Added to PP index

Total views
16 ( #668,892 of 2,520,399 )

Recent downloads (6 months)
1 ( #405,718 of 2,520,399 )

How can I increase my downloads?


My notes