Pages that link to "Item:Q3503762"
From MaRDI portal
The following pages link to Transfer and a supremum principle for ERNA (Q3503762):
Displaying 5 items.
- More infinity for a better finitism (Q636387) (← links)
- The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
- ERNA and Friedman's Reverse Mathematics (Q3011124) (← links)
- Relative arithmetic (Q3066289) (← links)
- Saturation and Σ<sub>2</sub>-transfer for ERNA (Q3399183) (← links)
