Constructing -stable structures: Model completeness.

DOI10.1016/J.APAL.2003.10.003zbMATH Open1042.03026OpenAlexW2088730863MaRDI QIDQ1428040FDOQ1428040

Kitty 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

Recommendations

• Expansions of models of ω-stable theories
• scientific article
• 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

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)

Cites Work

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

Cited In (11)

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

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)