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.
Citation
Michael C. Laskowski. "Characterizing Model Completeness Among Mutually Algebraic Structures." Notre Dame J. Formal Logic 56 (3) 463 - 470, 2015. https://doi.org/10.1215/00294527-3132815
Information