. Proof, Apply Claim 5.3.11

. If and J. <. For, 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

. For-i-=-1, n, tp(c i /Ac <i ) is algebraic, a noncut, a uniquely realizable cut

A. Dolich, 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

D. Marker, 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

D. Marker and C. Steinhorn, 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

C. Miller and S. Starchenko, 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

A. Onshuus, Abstract, The Journal of Symbolic Logic, vol.92, issue.01, pp.1-21, 2006.
DOI : 10.4064/fm170-1-6

A. Pillay and C. Steinhorn, Definable sets in ordered structures. I, Transactions of the, pp.565-592, 1986.

S. Starchenko, A trichotomy theorem for o-minimal structures, Proceedings of the London Mathematical Society, pp.481-523, 1998.

[. Shelah, Classification theory and the number of nonisomorphic models, 1978.

[. Speissegger, Continuity near a point, 2008.

L. Van-den-dries and C. Miller, 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