Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 473

Preprint Number 473

Previous Next Preprint server

473. Michael C. Laskowski
Characterizing model completeness among mutually algebraic structures

Submission date: 26 June 2012


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.

Mathematics Subject Classification: 03C10 (Primary) 03C45 (Secondary)

Keywords and phrases:

Full text arXiv 1206.6032: pdf, ps.

Last updated: July 3 2012 18:18 Please send your corrections to: