Pages that link to "Item:Q5479570"
From MaRDI portal
The following pages link to Nonstandard Arithmetic and Reverse Mathematics (Q5479570):
Displayed 12 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- Nonstandard arithmetic and recursive comprehension (Q636343) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- Die another day (Q2272192) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Infinitesimal analysis without the axiom of choice (Q2662699) (← links)
- NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS (Q2909619) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- ERNA and Friedman's Reverse Mathematics (Q3011124) (← links)
- Relative arithmetic (Q3066289) (← links)
- Formalizing non-standard arguments in second-order arithmetic (Q3066789) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)