Torsion-free abelian groups with optimal Scott families

DOI10.1142/S0219061318500022OpenAlexW2770351889MaRDI 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 theorycomputable categoricitycomputable abelian groups

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50) Theory of numerations, effectively presented structures (03D45)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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