On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (Q4915224)

From MaRDI portal
scientific article; zbMATH DE number 6152454
Language Label Description Also known as
English
On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction
scientific article; zbMATH DE number 6152454

    Statements

    On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (English)
    0 references
    0 references
    9 April 2013
    0 references
    reverse mathematics
    0 references
    Ramsey's theorem
    0 references
    proof-theoretic strength
    0 references
    indicator function
    0 references
    RCA
    0 references
    WKL
    0 references
    EFA
    0 references
    conservation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references