On the role of Ramsey quantifiers in first order arithmetic (Q3953757): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 23:30, 5 February 2024

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