THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM (Q3396197)

From MaRDI portal
Revision as of 23:04, 1 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM
scientific article

    Statements

    THE STRENGTH OF JULLIEN'S INDECOMPOSABILITY THEOREM (English)
    0 references
    0 references
    16 September 2009
    0 references
    reverse mathematics
    0 references
    second-order arithmetic
    0 references
    hyperarithmetic indecomposable linear orders
    0 references
    scattered linear orders
    0 references
    Steel forcing
    0 references
    weak \(\Sigma_1^1\) choice
    0 references
    \(\Delta_1^1\) comprehension
    0 references

    Identifiers