Proof of a lemma on model completeness
- 1 September 1975
- journal article
- research article
- Published by Springer Nature in Algebra and Logic
- Vol. 14 (5) , 328-330
- https://doi.org/10.1007/bf01668810
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Elementary theory of abelian groups without torsion, with a predicate selecting a subgroupAlgebra and Logic, 1969