Pages that link to "Item:Q1944329"
From MaRDI portal
The following pages link to Reverse-engineering reverse mathematics (Q1944329):
Displaying 7 items.
- More infinity for a better finitism (Q636387) (← links)
- The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
- Some nonstandard equivalences in reverse mathematics (Q1670765) (← links)
- The mean value theorem in second order arithmetic (Q2758063) (← links)
- ERNA and Friedman's Reverse Mathematics (Q3011124) (← links)
- Saturation and Σ<sub>2</sub>-transfer for ERNA (Q3399183) (← links)
- (Q5711891) (← links)