Expansion of a model of a weakly o-minimal theory by a family of unary predicates
Journal of Symbolic Logic 66 (3):1382-1414 (2001)
| Abstract | A subset A $\subseteq$ M of a totally ordered structure M is said to be convex, if for any a, b $\in A: [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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSteven Buechler (1988). The Classification of Small Weakly Minimal Sets. III: Modules. Journal of Symbolic Logic 53 (3):975-979.
James Tyne (2006). T-Height in Weakly O-Minimal Structures. Journal of Symbolic Logic 71 (3):747 - 762.
James Cain & Zlatan Damnjanovic (1991). On the Weak Kleene Scheme in Kripke's Theory of Truth. Journal of Symbolic Logic 56 (4):1452-1468.
Michael C. Laskowski & Charles Steinhorn (1995). On o-Minimal Expansions of Archimedean Ordered Groups. Journal of Symbolic Logic 60 (3):817-831.
LouDen Dries & Adam H. Lewenberg (1995). T-Convexity and Tame Extensions. Journal of Symbolic Logic 60 (1):74 - 102.
Steven Buechler (1985). The Geometry of Weakly Minimal Types. Journal of Symbolic Logic 50 (4):1044-1053.
Alfred Dolich, John Goodrick & David Lippel (2010). Dp-Minimality: Basic Facts and Examples. Notre Dame Journal of Formal Logic 52 (3):267-288.
Steven Buechler (1987). Isolated Types in a Weakly Minimal Set. Journal of Symbolic Logic 52 (2):543-547.
B. Sh Kulpeshov (1998). Weakly o-Minimal Structures and Some of Their Properties. Journal of Symbolic Logic 63 (4):1511-1528.
Steven Buechler (1988). The Classification of Small Weakly Minimal Sets. II. Journal of Symbolic Logic 53 (2):625-635.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
