Definition 2a

Let M be a model of T and an infinite set I be an indiscernible sequence in (M,I). A complete theory T has the second (M,I)-Isolation Property iff for any special (N,J) first-order equivalent to (M,I), for any pseudo-finite subset A of J in N, any finite subset C of N, and any element a of N, there is a countable A0⊆A such that
tp(a/(A0∪ C)) isolates tp(a/(A∪ C)) in (N,J).

Theorem 3a

The second (M,I)-Isolation Property implies the second (M,I)-Pseudo-finite Homogeneity Property.

Previous page
Next page