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

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

Mathematics Subject Classification ID

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

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

(10)

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

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)