Remarks on structure theorems for \(\omega_ 1\)-saturated models (Q1903589): Difference between revisions

The paper is concerned with the problem of classifying those complete countable stable theories \(T\) whose \(\omega_1\)-saturated models satisfy a structure property SP in the sense of Shelah. Several characterizations of SP are proved when \(T\) admits both ndop and ndidip (if ndop -- or ndidip -- fails, then SP does not hold). This provides a new proof of a result of Hart, Pillay and Starchenko saying that, if \(T\) is 1-based (with ndop and ndidip), then the \(\omega_1\)-saturated models of \(T\) satisfy SP.