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

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q190304
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / reviewed by
 
Property / reviewed by: Carlo Toffalori / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1040248458 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2006714196 / rank
 
Normal rank
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
    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

    Identifiers