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

Preprint Number 471

Previous Next Preprint server

471. Michael C. Laskowski
Mutually algebraic structures and expansions by predicates

Submission date: 26 June 2012.


We introduce the notions of a mutually algebraic structures and theories and prove many equivalents. A theory T is mutually algebraic if and only if it is weakly minimal and trivial if and only if no model M of T has an expansion (M,A) by a unary predicate with the finite cover property. We show that every structure has a maximal mutually algebraic reduct, and give a strong structure theorem for the class of elementary extensions of a fixed mutually algebraic structure.

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

Keywords and phrases:

Full text arXiv 1206.6023: pdf, ps.

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