2.   M.A. Taitslin.
      A general condition for collapse results.
       Annals of Pure and Applied Logic,
      113(1−3): 323−330, 2001.

Lemma 4 (see [1] and [2, Theorem 2.5])

Any P-reducible and P-restricted structure is strong P-reducible.

Theorem 5

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 and P-restricted model. Then I is indiscernible sequence in (M,I) and T has the second (M,I)-Isolation Property.

Previous page
Next page