Characterizing model completeness among mutually algebraic structures

DOI10.1215/00294527-3132815zbMATH Open1334.03033arXiv1206.6032OpenAlexW1549297871MaRDI QIDQ498619

Michael C. Laskowski

Publication date: 29 September 2015

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

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.

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)

Related Items (3)

Model Complete Generic Structures ⋮ Characteristic properties of equivalent structures in compositional models ⋮ Title not available (Why is that?)

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)