Constructing -stable structures: Model completeness.

DOI10.1016/J.APAL.2003.10.003MaRDI QIDQ1428040zbMATH OpenOpenAlexFDO

Authors John T. Baldwin, Kitty Holland

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) Categoricity and completeness of theories (03C35) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Expansions of models of ω-stable theories
• scientific article; zbMATH DE number 6536275
• Decidable models of \(\omega\)-stable theories
• Constructing \(\omega\)-stable structures: Computing rank
• Remarks on structure theorems for \(\omega_ 1\)-saturated models
• \(\omega\)-models of finite set theory
• The Model Completion of the Class of ℒ-Structures
• ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL
• Model-theoretic properties of \(\omega\)-automatic structures
• Model completeness of o-minimal structures expanded by Dedekind cuts

Cites work

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

Cited in

(11)

• Fusion over sublanguages
• A.D. Taimanov and model theory in Kazakhstan
• The metamathematics of random graphs
• Bi-colored expansions of geometric theories
• Ramsey theory for countable binary homogeneous structures
• Constructing \(\omega\)-stable structures: Computing rank
• Model completeness of generic graphs in rational cases
• Model completeness and direct power
• Notes on Quasiminimality and Excellence
• Model completeness of the new strongly minimal sets
• scientific article; zbMATH DE number 493065 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1428040)