Proof of a lemma on model completeness

DOI10.1007/BF01668810zbMath0382.03019OpenAlexW2039786324WikidataQ124854736 ScholiaQ124854736MaRDI QIDQ1247960

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) Models of other mathematical theories (03C65) Torsion-free groups, finite rank (20K15) Categoricity and completeness of theories (03C35)

Related Items (8)

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

Cites Work

• Unnamed Item
• Unnamed Item

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