Refining the taming of the reverse mathematics zoo (Q1633897)

From MaRDI portal
Revision as of 04:09, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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