Mathematics – Logic
Scientific paper
2007-04-29
Mathematics
Logic
Scientific paper
Let M be an o-minimal structure with elimination of imaginaries, N an unstable structure definable in M. Then there exists X, interpretable in N, such that X with all the structure induced from N is o-minimal. In particular X is linearly ordered. As part of the proof we show: Theorem 1: If the M-dimenson of N is 1 then any 1-N-type is either strongly stable or finite by o-minimal. Theorem 2: If N is N-minimal then it is 1-M-dimensional.
Hasson Assaf
Onshuus Alf
No associations
LandOfFree
Unstable structures definable in o-minimal theories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Unstable structures definable in o-minimal theories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unstable structures definable in o-minimal theories will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-408932