Unstable structures definable in o-minimal theories

Simple item page
dc.creatorHasson, Assaf
dc.creatorOnshuus, Alf
dc.date2007-04-29
dc.date.accessioned2026-07-07T07:58:41Z
dc.date.available2026-07-07T07:58:41Z
dc.descriptionLet 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.
dc.identifierhttps://arxiv.org/abs/0704.3844
dc.identifierhttp://arxiv.org/abs/0704.3844
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/128097
dc.subjectLogic
dc.subject03C64, 03C45
dc.titleUnstable structures definable in o-minimal theories
dc.typetext

Files

Collections

arXiv