Proof of a lemma on model completeness

DOI10.1007/BF01668810MaRDI QIDQ1247960zbMATH OpenOpenAlexWikidataFDO

Authors G. T. Kozlov, A. I. Kokorin

Publication date 1976

Published in Algebra and Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Categoricity and completeness of theories (03C35) Models of other mathematical theories (03C65) Torsion-free groups, finite rank (20K15)

Cited in

(8)

• Model theory of modules
• The influence of the algebra of the group
• Model-theoretic and algorithmic questions in group theory
• Galois theory of semiprime rings
• Undecidable L^t theories of topological abelian groups
• Associative rings
• Locally pure topological Abelian groups: Elementary invariants
• To the 90th anniversary of the birth of A. I. Kokorin. Stages of scientific and pedagogical way

This page was built for publication: Proof of a lemma on model completeness

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