The model-companion of a class of structures

DOI10.2307/2272742zbMath0259.02043OpenAlexW1966118959MaRDI QIDQ5675715

Gregory L. Cherlin

Publication date: 1972

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

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Other classical first-order model theory (03C68)

Related Items

Robinson forcing is not absolute, Model-companions and definability in existentially complete structures

Cites Work

• Introduction to model theory and to the metamathematics of algebra
• ÜBER EINE VERALLGEMEINERUNG DER ROBINSONSCHEN MODELLVERVOLLSTÄNDIGUNG I
• Model-completions and modules
• Unnamed Item
• Unnamed Item