Pages that link to "Item:Q5479570"
From MaRDI portal
The following pages link to Nonstandard Arithmetic and Reverse Mathematics (Q5479570):
Displaying 21 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- Nonstandard arithmetic and recursive comprehension (Q636343) (← links)
- A nonstandard counterpart of WWKL (Q645739) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- Some nonstandard equivalences in reverse mathematics (Q1670765) (← 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)
- Ultrafilters in reverse mathematics (Q2878778) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- REVERSE MATHEMATICS OF FIRST-ORDER THEORIES WITH FINITELY MANY MODELS (Q2933684) (← 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)
- (Q3808207) (← links)
- (Q4281917) (← links)
- (Q4302475) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- Multi-level nonstandard analysis and the axiom of choice (Q6595732) (← links)