Theorem 6 [Dudakov, 2002]
Any P-reducible structure
is P-restricted.
Corollary 7
Let M be a model of
T and an infinite set
I be a dense ordered without end points
indiscernible sequence in M.
Let (M,I) be a
P-reducible model.
Then I is
indiscernible sequence in (M,I) and
T has the second
(M,I)-Isolation Property.
Previous page
Next page