Show
Sort by
-
- Journal Article
- A2
- open access
The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis
-
- Journal Article
- A1
- open access
Refining the taming of the Reverse Mathematics zoo
-
- Journal Article
- A2
- open access
The computational content of Nonstandard Analysis
-
- Conference Paper
- C1
- open access
On algorithm and robustness in a non-standard sense
-
- Journal Article
- A1
- open access
On the connection between Nonstandard Analysis and Constructive Analysis
-
Algorithm and proof as Ω-invariance and transfer: a new model of computation in nonstandard analysis
-
- Journal Article
- A1
- open access
Reverse engineering reverse mathematics
-
- Journal Article
- A1
- open access
The Dirac delta function in two settings of Reverse Mathematics
-
- Conference Paper
- C1
- open access
Reverse mathematics & nonstandard analysis: towards a dispensability argument
-
- Journal Article
- A1
- open access
ERNA and Friedman's reverse mathematics