On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics (Q3550582)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
scientific article

    Statements

    On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics (English)
    0 references
    0 references
    0 references
    0 references
    31 March 2010
    0 references
    reverse mathematics
    0 references
    \(\Sigma^0_2\)-bounding
    0 references
    linear order
    0 references
    tame cut
    0 references
    bi-tame cut
    0 references
    Ramsey's Theorem
    0 references
    polarized Ramsey's Theorem
    0 references

    Identifiers