Publications > Preprint server > Preprint Number 471
Preprint Number 471
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:
|Last updated: July 3 2012 18:18||Please send your corrections to:|