The following pages link to More infinity for a better finitism (Q636387):
Displaying 6 items.
- The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
- Dispensing with the continuum (Q1368388) (← links)
- ERNA and Friedman's Reverse Mathematics (Q3011124) (← links)
- Saturation and Σ<sub>2</sub>-transfer for ERNA (Q3399183) (← links)
- Transfer and a supremum principle for ERNA (Q3503762) (← links)
- (Q4790409) (← links)