Expansion of a model of a weakly o-minimal theory by a family of unary predicates

Abstract

AbstractA subset A ⊆ M of a totally ordered structure M is said to be convex, if for any a, b ∈ A: [a < b → ∀t (a < tb → t ∈ A)]. A complete theory of first order is weakly o-minimal (M. Dickmann [D]) if any model M is totally ordered by some ∅-definable formula and any subset of M which is definable with parameters from M is a finite union of convex sets. We prove here that for any model M of a weakly o-minimal theory T. any expansion M+ of M by a family of unary predicates has a weakly o-minimal theory iff the set of all realizations of each predicate is a union of a finite number of convex sets (Theorem 63). that solves the Problem of Cherlin-Macpherson-Marker-Steinhorn [MMS] for the class of weakly o-minimal theories.