The Strength of the SCT Criterion (Q2988827)

From MaRDI portal
Revision as of 21:09, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The Strength of the SCT Criterion
scientific article

    Statements

    title
    The Strength of the SCT Criterion (English)
    0 references
    author
    Emanuele Frittaion
    0 references
    Silvia Steila
    0 references
    Keita Yokoyama
    0 references
    publication date
    19 May 2017
    0 references
    Mathematics Subject Classification ID
    03B30
    0 references
    03F30
    0 references
    03F35
    0 references
    05D10
    0 references
    zbMATH DE Number
    6721523
    0 references
    zbMATH Keywords
    Ramsey's theorem for pairs
    0 references
    size-change termination
    0 references
    reverse mathematics
    0 references
    \(\Sigma ^0_2\)-induction
    0 references
    OpenAlex ID
    W2568243403
    0 references
    arXiv ID
    1611.05176
    0 references
    Wikidata QID
    Q61834870
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2988827&oldid=36322933"
    Powered by MediaWiki