Constructing \(\omega\)-stable structures: Model completeness.

DOI10.1016/J.APAL.2003.10.003zbMath1042.03026OpenAlexW2088730863MaRDI QIDQ1428040

Kitty L. Holland, John T. Baldwin

Publication date: 14 March 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.10.003

zbMATH Keywords

projective planemodel-completenessalmost strongly minimal theories\(\omega\)-stable modelsbicoloured fieldsHrushovski amalgamation construction

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35)

Related Items (6)

The metamathematics of random graphs ⋮ Model completeness of generic graphs in rational cases ⋮ Notes on Quasiminimality and Excellence ⋮ A.D. Taimanov and model theory in Kazakhstan ⋮ Fusion over sublanguages ⋮ Ramsey theory for countable binary homogeneous structures

Cites Work

• A new strongly minimal set
• Categoricity and generalized model completeness
• Stable generic structures
• Constructing ω-stable structures: Computing rank
• Non Σ_n axiomatizable almost strongly minimal theories
• An Almost Strongly Minimal Non-Desarguesian Projective Plane
• Some Projective Planes of Lenz-Barlotti Class I
• Trivial, strongly minimal theories are model complete after naming constants
• Model completeness of the new strongly minimal sets
• Le carre de l'egalite
• Constructing ω-stable structures: rank 2 fields

This page was built for publication: Constructing \(\omega\)-stable structures: Model completeness.