A counterexample in the theory of model companions

DOI10.2307/2272266zbMath0308.02056OpenAlexW2019898993WikidataQ124850576 ScholiaQ124850576MaRDI QIDQ4065543

No author found.

Publication date: 1975

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272266

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Categoricity and completeness of theories (03C35)

Related Items

Model-companions and definability in existentially complete structures

Cites Work

• Unnamed Item
• Homogeneous Universal Models.
• Completing theories by forcing