Expansion of a Model of a Weakly O-Minimal Theory by a Family of Unary Predicates
Baizhanov, Bektur Sembiuly
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 1382-1414 / Harvested from Project Euclid
A subset A $\subseteq$ M of a totally ordered structure M is said to be convex, if for any a, b $\in A : [a < b \rightarrow \forall t(a < t < b \rightarrow t \in A)]$. A complete theory of first order is weakly o-minimal (M. Dickmann [D]) if any model M is totally ordered by some $\emptyset$-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.
Publié le : 2001-09-14
Classification: 
@article{1183746567,
     author = {Baizhanov, Bektur Sembiuly},
     title = {Expansion of a Model of a Weakly O-Minimal Theory by a Family of Unary Predicates},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 1382-1414},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746567}
}
Baizhanov, Bektur Sembiuly. Expansion of a Model of a Weakly O-Minimal Theory by a Family of Unary Predicates. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  1382-1414. http://gdmltest.u-ga.fr/item/1183746567/