Characterizing model completeness among mutually algebraic structures
classification
🧮 math.LO
keywords
modelalgebraiccompletediagramelementarymutuallytheorycharacterization
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.