| Publication | Date of Publication | Type |
|---|
| On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor | 2024-11-25 | Paper |
| On the logical and computational properties of the Vitali covering theorem | 2024-10-07 | Paper |
| Computability and non-monotone induction | 2024-08-29 | Paper |
| On the computational properties of basic mathematical notions | 2023-01-04 | Paper |
| The Biggest Five of Reverse Mathematics | 2022-12-01 | Paper |
| On the uncountability of \(\mathbb{R}\) | 2022-11-18 | Paper |
| Betwixt Turing and Kleene | 2022-07-01 | Paper |
| The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis | 2022-02-08 | Paper |
| Betwixt Turing and Kleene | 2021-09-03 | Paper |
| Measure-theoretic uniformity and the Suslin functional | 2021-06-25 | Paper |
| On robust theorems due to Bolzano, Weierstrass, Cantor, and Jordan | 2021-02-09 | Paper |
| Open sets in computability theory and reverse mathematics | 2020-12-15 | Paper |
| On the uncountability of $\mathbb{R}$ | 2020-07-15 | Paper |
| Computability and Non-monotone induction | 2020-06-05 | Paper |
| The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis | 2020-05-30 | Paper |
| Pincherle's theorem in reverse mathematics and computability theory | 2020-03-12 | Paper |
| On the computability of the fan functional | 2020-02-05 | Paper |
| Computability theory, nonstandard analysis, and their connections | 2020-01-10 | Paper |
| The strength of compactness in computability theory and nonstandard analysis | 2019-10-07 | Paper |
| On the mathematical and foundational significance of the uncountable | 2019-07-08 | Paper |
| On the logical and computational properties of the Vitali covering theorem | 2019-02-07 | Paper |
| Book review of: D. Marker, Lectures on infinitary model theory | 2018-12-21 | Paper |
| Measure-theoretic Uniformity and the Suslin Functional | 2018-10-17 | Paper |
| S. Barry Cooper (1943–2015) | 2018-09-20 | Paper |
| Functionals of type 3 as realisers of classical theorems in analysis | 2018-09-06 | Paper |
| The sequential functionals of type \((\iota \rightarrow \iota)^n \rightarrow \iota\) form a \textit{dcpo} for all \(n \in \mathbb N\) | 2018-04-25 | Paper |
| On the Cantor-Bendixson rank of a set that is searchable in Gödel's \(T\) | 2016-04-13 | Paper |
| Higher-order computability | 2015-12-16 | Paper |
| The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems | 2015-03-17 | Paper |
| The continuous functionals as limit spaces | 2014-06-24 | Paper |
| A nonstandard characterisation of the type-structure of continuous functionals over the reals | 2013-10-10 | Paper |
| Experiments on an internal approach to typed algorithms in analysis | 2012-09-05 | Paper |
| The extensional ordering of the sequential functionals | 2012-03-13 | Paper |
| A rich hierarchy of functionals of finite types | 2011-06-28 | Paper |
| Banach spaces as data types | 2011-05-26 | Paper |
| Internal Density Theorems for Hierarchies of Continuous Functionals | 2008-06-19 | Paper |
| Applications of the Kleene-Kreisel density theorem to theoretical computer science | 2008-04-29 | Paper |
| Comparing hierarchies of total functionals | 2007-10-11 | Paper |
| On sequential functionals of type 3 | 2006-08-10 | Paper |
| Computing with Functionals—Computability Theory or Computer Science? | 2006-07-10 | Paper |
| Definability and reducibility in higher types over the reals | 2006-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465960 | 2005-08-23 | Paper |
| Hierarchies of total functionals over the reals | 2004-08-04 | Paper |
| Limit spaces and transfinite types | 2003-09-16 | Paper |
| Representation theorems for transfinite computability and definability | 2003-09-16 | Paper |
| Continuity, proof systems and the theory of transfinite computations | 2003-09-16 | Paper |
| The computational power of \({\mathcal M}^\omega\) | 2002-09-16 | Paper |
| Exact real number computations relative to hereditarily total functionals. | 2002-07-31 | Paper |
| On choosing the correct model for computability over the reals | 2002-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778812 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934283 | 2001-07-22 | Paper |
| Computability over the partial continuous functionals | 2001-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513589 | 2001-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513588 | 2001-02-28 | Paper |
| Hyperfinite type structures | 2000-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938561 | 2000-02-23 | Paper |
| Closing the gap between the continuous functionals and recursion in \(^3E\) | 1998-12-03 | Paper |
| Total objects in inductively defined types | 1997-12-10 | Paper |
| Hereditarily effective typestreams | 1997-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883281 | 1996-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863248 | 1996-02-04 | Paper |
| Interpreting higher computations as types with totality | 1994-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5288338 | 1994-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694213 | 1993-06-29 | Paper |
| Embeddability of ptykes | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729775 | 1989-01-01 | Paper |
| Set recursion and \(\Pi ^ 1_ 2\)-logic | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3717037 | 1985-01-01 | Paper |
| Effective cofinalities and admissibility in E-recursion | 1984-01-01 | Paper |
| The definability of E(α) | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3320346 | 1984-01-01 | Paper |
| Characterizing the continuous functionals | 1983-01-01 | Paper |
| R.E. degrees of continuous functionals | 1983-01-01 | Paper |
| GENERAL TYPE-STRUCTURES OF CONTINUOUS AND COUNTABLE FUNCTIONALS | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691659 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964556 | 1982-01-01 | Paper |
| Countable functionals and the projective hierarchy | 1981-01-01 | Paper |
| The continuous functionals; computations, recursions and degrees | 1981-01-01 | Paper |
| Recursion on the countable functionals | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880829 | 1980-01-01 | Paper |
| The 1-section of a countable functional | 1980-01-01 | Paper |
| A Jump Operator in Set Recursion | 1979-01-01 | Paper |
| Degrees of functionals | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863872 | 1979-01-01 | Paper |
| A note on reflection. | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182734 | 1979-01-01 | Paper |
| A continuous functional with noncollapsing hierarchy | 1978-01-01 | Paper |
| Models for recursion theory | 1977-01-01 | Paper |
| Martin's axiom and medial functions. | 1976-01-01 | Paper |
| On absolutely measurable sets | 1974-01-01 | Paper |
| On abstract 1-sections | 1974-01-01 | Paper |
| On some computational properties of open sets | N/A | Paper |
| On sequential theorems in Reverse Mathematics | N/A | Paper |
