Remarks on structure theorems for \(\omega_ 1\)-saturated models (Q1903589)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Remarks on structure theorems for \(\omega_ 1\)-saturated models |
scientific article |
Statements
Remarks on structure theorems for \(\omega_ 1\)-saturated models (English)
0 references
13 January 1997
0 references
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.
0 references
\(\omega_ 1\)-saturated models
0 references
countable stable theories
0 references
structure property
0 references
ndop
0 references
ndidip
0 references