Pages that link to "Item:Q636343"
From MaRDI portal
The following pages link to Nonstandard arithmetic and recursive comprehension (Q636343):
Displaying 7 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- A nonstandard counterpart of WWKL (Q645739) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- Nonstandard models in recursion theory and reverse mathematics (Q2925331) (← links)
- (Q3808207) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Nonstandard Arithmetic and Reverse Mathematics (Q5479570) (← links)