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 (categorize this paper)
DOI 10.2307/2695114
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,581
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Generic Pairs of SU-Rank 1 Structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.
Weakly o-Minimal Nonvaluational Structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.
Criterion for Binarity of ℵ 0 -Categorical Weakly o-Minimal Theories.B. Sh Kulpeshov - 2007 - Annals of Pure and Applied Logic 145 (3):354-367.

View all 6 citations / Add more citations

Similar books and articles

T-Height in Weakly O-Minimal Structures.James Tyne - 2006 - Journal of Symbolic Logic 71 (3):747 - 762.
On the Weak Kleene Scheme in Kripke's Theory of Truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
T-Convexity and Tame Extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
The Geometry of Weakly Minimal Types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
Dp-Minimality: Basic Facts and Examples.Alfred Dolich, John Goodrick & David Lippel - 2011 - Notre Dame Journal of Formal Logic 52 (3):267-288.
Isolated Types in a Weakly Minimal Set.Steven Buechler - 1987 - Journal of Symbolic Logic 52 (2):543-547.
Weakly o-Minimal Structures and Some of Their Properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
The Classification of Small Weakly Minimal Sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.

Analytics

Added to PP index
2009-01-28

Total downloads
7 ( #610,191 of 2,268,377 )

Recent downloads (6 months)
1 ( #373,468 of 2,268,377 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature