Characterizing model completeness among mutually algebraic structures
Logic
2016-02-10 v2
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.
Cite
@article{arxiv.1206.6032,
title = {Characterizing model completeness among mutually algebraic structures},
author = {Michael C. Laskowski},
journal= {arXiv preprint arXiv:1206.6032},
year = {2016}
}
Comments
Corrected statement of Theorem 3.1