Pages that link to "Item:Q3011124"
From MaRDI portal
The following pages link to ERNA and Friedman's Reverse Mathematics (Q3011124):
Displaying 9 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- More infinity for a better finitism (Q636387) (← links)
- The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
- Dispensing with the continuum (Q1368388) (← links)
- Some nonstandard equivalences in reverse mathematics (Q1670765) (← links)
- Reverse-engineering reverse mathematics (Q1944329) (← links)
- Saturation and Σ<sub>2</sub>-transfer for ERNA (Q3399183) (← links)
- Transfer and a supremum principle for ERNA (Q3503762) (← links)
- Chi-Tat Chong’s Work on Reverse Mathematics (Q6135559) (← links)