Characterizing model completeness among mutually algebraic structures

DOI10.1215/00294527-3132815MaRDI QIDQ498619zbMATH OpenOpenAlexFDO

Authors M. C. Laskowski

Publication date 29 September 2015

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1206.6032

zbMATH Keywords

model completenessmutually algebraic structuresstrongly minimal theorytrivial theory

Mathematics Subject Classification ID

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

Abstract: We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields a new, more constructive proof that the elementary diagram of any model of a strongly minimal, trivial theory is model complete.

Recommendations

• Mutually algebraic structures and expansions by predicates
• Uniformly bounded arrays and mutually algebraic structures
• Trivial, strongly minimal theories are model complete after naming constants
• Nearly Model Complete Theories
• Model completeness of the new strongly minimal sets

Cited in

(5)

• Characteristic properties of equivalent structures in compositional models
• scientific article; zbMATH DE number 2101499 (Why is no real title available?)
• Mutually algebraic structures and expansions by predicates
• Model Complete Generic Structures
• Uniformly bounded arrays and mutually algebraic structures

This page was built for publication: Characterizing model completeness among mutually algebraic structures

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