Torsion-free abelian groups with optimal Scott families

DOI10.1142/S0219061318500022MaRDI QIDQ4565755

Alexander G. Melnikov

Publication date: 13 June 2018

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0219061318500022

zbMATH Keywords

computability theory; computable categoricity; computable abelian groups

Mathematics Subject Classification ID

03D50: Recursive equivalence types of sets and structures, isols

03D45: Theory of numerations, effectively presented structures

Related Items

New degree spectra of Polish spaces, Punctual categoricity relative to a computable oracle, Categoricity spectra of computable structures

Cites Work

• The complexity of computable categoricity
• Independence in computable algebra
• Some constructivizations of Abelian groups
• The isomorphism problem for torsion-free abelian groups is analytic complete
• Generic copies of countable structures
• Computable structures and the hyperarithmetical hierarchy
• Degree spectra and computable dimensions in algebraic structures
• New degree spectra of abelian groups
• Effectively completely decomposable Abelian groups.
• \(\Delta_{2}^{0}\)-categoricity in Boolean algebras and linear orderings
• Back and forth relations for reduced abelian \(p\)-groups
• Effectively categorical abelian groups
• Note on extensions of Abelian groups by primary groups
• COMPUTABLE ABELIAN GROUPS
• Iterated effective embeddings of abelian p-groups
• Classes of Ulm type and coding rank-homogeneous trees in other structures
• Computable completely decomposable groups
• Effective procedures in field theory
• Subgroups of finitely presented groups
• The isomorphism problem for computable Abelian _p-groups of bounded length
• 0″-Categorical Completely Decomposable Torsion-Free Abelian Groups
• Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
• Effective content of field theory
• Recursively enumerable vector spaces
• A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
• The isomorphism relation on countable torsion free abelian groups
• Jump degrees of torsion-free abelian groups
• Limitwise monotonic functions, sets, and degrees on computable domains
• The decomposability problem for torsion-free abelian groups is analytic-complete
• CONSTRUCTIVE ALGEBRAS I
• Isomorphism relations on computable structures
• Computable Algebra, General Theory and Theory of Computable Fields
• Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday
• TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item