On the role of Ramsey quantifiers in first order arithmetic (Q3953757)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the role of Ramsey quantifiers in first order arithmetic
scientific article

    Statements

    On the role of Ramsey quantifiers in first order arithmetic (English)
    0 references
    0 references
    0 references
    1982
    0 references
    Peano arithmetic
    0 references
    strong model
    0 references
    strong completeness
    0 references
    proof-theoretic ordinal
    0 references
    Girard hierarchy
    0 references
    Grzegorczyk-Wainer hierarchy
    0 references
    Presburger arithmetic
    0 references

    Identifiers

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