Theory of Abelian groups with constructive models

DOI10.1007/BF00969170zbMath0625.03015OpenAlexW1985052114MaRDI QIDQ579238

N. G. Khisamiev

Publication date: 1986

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00969170

zbMATH Keywords

prime modelconstructive modelscomplete theory of Abelian groupsexistence of a constructible modelrecursively enumerable theory of torsion-free Abelian groupsstrong constructibility

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Torsion-free groups, infinite rank (20K20) Torsion-free groups, finite rank (20K15) Computable structure theory, computable model theory (03C57)

Related Items (2)

Prime models of theories of computable linear orderings ⋮ An uncountably categorical theory whose only computably presentable model is saturated

Cites Work

• Strongly constructive Abelian p-groups
• Minimal and prime models of complete theories of torsion free abelian groups
• Some aspects of generalized computability
• Theories with recursive models
• Recursive prime models for Boolean algebras
• The elementary theory of abelian groups
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Theory of Abelian groups with constructive models