| Publication | Date of Publication | Type |
|---|
| Erratum to: ``Multi-level nonstandard analysis and the axiom of choice | 2024-11-12 | Paper |
| Multi-level nonstandard analysis and the axiom of choice | 2024-08-30 | Paper |
| Effective infinitesimals in \(\mathbb{R}\) | 2024-01-04 | Paper |
| Peano and Osgood theorems via effective infinitesimals | 2023-11-02 | Paper |
| CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES | 2023-03-20 | Paper |
| Constructing nonstandard hulls and Loeb measures in internal set theories | 2023-01-01 | Paper |
| Trees and Homogeneous LOTS | 2021-07-28 | Paper |
| Infinitesimal analysis without the axiom of choice | 2021-04-14 | Paper |
| On factoring of unlimited integers | 2021-01-22 | Paper |
| Infinitesimal analysis without the Axiom of Choice | 2020-09-10 | Paper |
| Approaches to analysis with infinitesimals following Robinson, Nelson, and others | 2018-05-18 | Paper |
| Analysis with Ultrasmall Numbers | 2014-10-06 | Paper |
| Relative set theory: internal view | 2012-12-17 | Paper |
| Axiom of choice in nonstandard set theory | 2012-12-17 | Paper |
| Relative set theory: some external issues | 2012-12-17 | Paper |
| Relative set theory: strong stability | 2012-12-17 | Paper |
| Analysis with Ultrasmall Numbers | 2010-12-14 | Paper |
| Some remarks on nonstandard theory of classes | 2008-10-28 | Paper |
| Nonstandard objects in set theory | 2006-08-28 | Paper |
| Standard sets in nonstandard set theory | 2005-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4656803 | 2005-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4819373 | 2004-09-24 | Paper |
| Combinatorial principles in nonstandard analysis | 2003-03-09 | Paper |
| Realism, nonstandard set theory, and large cardinals | 2002-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256417 | 1999-07-12 | Paper |
| Standard foundations for nonstandard analysis | 1993-04-01 | Paper |
| Continuous completions | 1992-06-25 | Paper |
| Convex powerdomains. II | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3803170 | 1988-01-01 | Paper |
| Convex powerdomains. I | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691052 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218111 | 1984-01-01 | Paper |
| DEGREES OF ANALYTIC SETS | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3914975 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3875913 | 1980-01-01 | Paper |
| Nonstandard Set Theory | 1979-01-01 | Paper |
| A New Proof that π < σ | 1979-01-01 | Paper |
| Axiomatic foundations for Nonstandard Analysis | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156432 | 1978-01-01 | Paper |
| On the Complexity of Analytic Sets | 1978-01-01 | Paper |
| On the Failure of the Weak Beth Property | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534228 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5602089 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541358 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5541357 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5514609 | 1965-01-01 | Paper |
| Multi-level Nonstandard Analysis and the Axiom of Choice | N/A | Paper |