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

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

Cited in

(8)

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

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)