Pages that link to "Item:Q4836046"
From MaRDI portal
The following pages link to Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof (Q4836046):
Displaying 13 items.
- Future development of scientific structures closer to experiments: response to F. A. Muller (Q408323) (← 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)
- Several unresolved conceptual problems of mathematical psychology (Q1368399) (← 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)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)
- 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
- Mechanizing Nonstandard Real Analysis (Q4504968) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Metalogic, Schopenhauer and Universal Logic (Q5118392) (← links)