Theory of Abelian groups with constructive models

DOI10.1007/BF00969170MaRDI QIDQ579238zbMATH OpenOpenAlexFDO

Authors 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

complete theory of Abelian groupsconstructive modelsexistence of a constructible modelprime modelrecursively enumerable theory of torsion-free Abelian groupsstrong constructibility

Mathematics Subject Classification ID

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

Review text

In the theory of constructive models, the problem of the existence of a constructible model in a given theory is one of the basic problems. In this paper we obtain a criterion for the existence of a constructive model in a complete theory of Abelian groups. It is shown that any recursively enumerable theory of torsion-free Abelian groups has a constructive model. We construct a recursively enumerable theory of Abelian groups which does not have a constructive model. Problems of (strong) constructibility of prime and saturated models of the theory of Abelian groups are considered as well.

Recommendations

• scientific article; zbMATH DE number 1303204
• Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
• The constructive theory of torsion-free abelian groups
• A criterion for strong constructivizability of a class of abelian p- groups
• Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group

Cites work

• scientific article; zbMATH DE number 3724411 (Why is no real title available?)
• scientific article; zbMATH DE number 3801775 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Minimal and prime models of complete theories of torsion free abelian groups
• Recursive prime models for Boolean algebras
• Some aspects of generalized computability
• Strongly constructive Abelian p-groups
• The elementary theory of abelian groups
• Theories with recursive models

Cited in

(12)

• ABE with tag made easy. Concise framework and new instantiations in prime-order groups
• The constructive equality theory
• Formulas and properties for families of theories of abelian groups
• An uncountably categorical theory whose only computably presentable model is saturated
• Prime models of theories of computable linear orderings
• The constructive theory of torsion-free abelian groups
• The model theory of finitely generated finite-by-abelian groups
• scientific article; zbMATH DE number 3973173 (Why is no real title available?)
• scientific article; zbMATH DE number 3983493 (Why is no real title available?)
• scientific article; zbMATH DE number 4055588 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• The model-theoretic structure of Abelian group rings

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q579238)