Remarks on structure theorems for \(\omega_ 1\)-saturated models (Q1903589): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3994342 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On one-based theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(1\)-based theories -- the main gap for \(a\)-models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification theory and the number of non-isomorphic models / rank | |||
Normal rank |
Latest revision as of 07:47, 24 May 2024
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