Minimal types in simple theories(6)

We prove that if M0 is a model of a simple theory, and p(x) is a complete type of Cantor-Bendixon rank 1 over M0, then p is stationary and regular. As a consequence we obtain another proof that any countable model M0 of a countable complete simple theory T

Question2.UnderthesameasumptionsasinQuestion1,isitthecasethatM0hasnoorder?

References

[1]A.Pillay,Dimensiontheoryandhomogeneityforelementaryextensions

ofamodel,JournalofSymbolicLogic,47(1982),147-160.

[2]A.Pillay,Anintroductiontostabilitytheory,OxfordUniversityPress,

1983.

[3]A.Pillay,De nabilityandde nablegroupsinsimpletheories,Journal

ofSymbolicLogic,63(1998),788-796.

[4]P.Tanovic,Onconstantsandthestrictorderproperty,Archivefor

Math.Logic,45(2006),423-430.

[5]F.O.Wagner,Simpletheories,Kluwer,2000.

6