Apply Claim 5.3.11 ,
then there is some b ? B J (b) such that b is strictly J -maximal and a is a noncut near b over d J ? in fact, over d J . Moreover, a is never strictly maximal ,
n, tp(c i /Ac <i ) is algebraic, a noncut, a uniquely realizable cut ,
Forking and independence in o-minimal theories, The Journal of Symbolic Logic, vol.51, issue.01, pp.215-239, 2004. ,
DOI : 10.1090/S0002-9947-1986-0833697-X
Omitting types in -minimal theories, The Journal of Symbolic Logic, vol.51, issue.01, pp.63-74, 1986. ,
DOI : 10.1090/S0273-0979-1984-15249-2
Definable types in -minimal theories, The Journal of Symbolic Logic, vol.52, issue.01, pp.185-197, 1994. ,
DOI : 10.1090/S0002-9947-1988-0943306-9
A growth dichotomy for o-minimal expansions of ordered groups, Transactions of the American Mathematical Society, vol.350, issue.09, pp.3505-3521, 1998. ,
DOI : 10.1090/S0002-9947-98-02288-0
Abstract, The Journal of Symbolic Logic, vol.92, issue.01, pp.1-21, 2006. ,
DOI : 10.4064/fm170-1-6
Definable sets in ordered structures. I, Transactions of the, pp.565-592, 1986. ,
A trichotomy theorem for o-minimal structures, Proceedings of the London Mathematical Society, pp.481-523, 1998. ,
Classification theory and the number of nonisomorphic models, 1978. ,
Continuity near a point, 2008. ,
Geometric categories and o-minimal structures, Duke Mathematical Journal, vol.84, issue.2, pp.497-539, 1996. ,
DOI : 10.1215/S0012-7094-96-08416-1