Unstable structures definable in o-minimal theories - Mathematics > LogicReport as inadecuate




Unstable structures definable in o-minimal theories - Mathematics > Logic - Download this document for free, or read online. Document in PDF available to download.

Abstract: Let M be an o-minimal structure with elimination of imaginaries, N anunstable 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 Xis linearly ordered.As part of the proof we show: Theorem 1: If the M-dimenson of N is 1 then any1-N-type is either strongly stable or finite by o-minimal. Theorem 2: If N isN-minimal then it is 1-M-dimensional.



Author: Assaf Hasson, Alf Onshuus

Source: https://arxiv.org/







Related documents