The inductive strength of Ramsey's theorem for pairs (Q507201)

From MaRDI portal





scientific article; zbMATH DE number 6680446
Language Label Description Also known as
English
The inductive strength of Ramsey's theorem for pairs
scientific article; zbMATH DE number 6680446

    Statements

    The inductive strength of Ramsey's theorem for pairs (English)
    0 references
    0 references
    0 references
    0 references
    3 February 2017
    0 references
    reverse mathematics
    0 references
    \(\mathrm{RCA}_0\)
    0 references
    \(\operatorname{\Sigma}_2^0\)-bounding
    0 references
    Ramsey's theorem for pairs
    0 references
    stable Ramsey's theorem for pairs
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references