Refining the taming of the reverse mathematics zoo (Q1633897)

From MaRDI portal
Revision as of 20:10, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Refining the taming of the reverse mathematics zoo
scientific article

    Statements

    Refining the taming of the reverse mathematics zoo (English)
    0 references
    0 references
    21 December 2018
    0 references
    higher-order reverse mathematics
    0 references
    reverse mathematics zoo
    0 references
    nonstandard analysis
    0 references

    Identifiers

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