| Publication | Date of Publication | Type |
|---|
On sequential theorems in reverse mathematics
Archive for Mathematical Logic | 2026-02-16 | Paper |
On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
Journal of Symbolic Logic | 2024-11-25 | Paper |
On the logical and computational properties of the Vitali covering theorem
Annals of Pure and Applied Logic | 2024-10-07 | Paper |
Computability and non-monotone induction
Computability | 2024-08-29 | Paper |
On the computational properties of basic mathematical notions
Journal Of Logic And Computation | 2023-01-04 | Paper |
| The Biggest Five of Reverse Mathematics | 2022-12-01 | Paper |
On the uncountability of \(\mathbb{R}\)
Journal of Symbolic Logic | 2022-11-18 | Paper |
Betwixt Turing and Kleene
(available as arXiv preprint) | 2022-07-01 | Paper |
The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
Journal Of Logic And Computation | 2022-02-08 | Paper |
Betwixt Turing and Kleene
(available as arXiv preprint) | 2021-09-03 | Paper |
Measure-theoretic uniformity and the Suslin functional
Computability | 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
Journal Of Logic And Computation | 2020-12-15 | Paper |
On the uncountability of $\mathbb{R}$
(available as arXiv preprint) | 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
(available as arXiv preprint) | 2020-05-30 | Paper |
Pincherle's theorem in reverse mathematics and computability theory
Annals of Pure and Applied Logic | 2020-03-12 | Paper |
On the computability of the fan functional
Outstanding Contributions to Logic | 2020-02-05 | Paper |
Computability theory, nonstandard analysis, and their connections
Journal of Symbolic Logic | 2020-01-10 | Paper |
Computability theory, nonstandard analysis, and their connections
Journal of Symbolic Logic | 2020-01-10 | Paper |
The strength of compactness in computability theory and nonstandard analysis
Annals of Pure and Applied Logic | 2019-10-07 | Paper |
The strength of compactness in computability theory and nonstandard analysis
Annals of Pure and Applied Logic | 2019-10-07 | Paper |
On the mathematical and foundational significance of the uncountable
Journal of Mathematical Logic | 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
Studia Logica | 2018-12-21 | Paper |
Measure-theoretic Uniformity and the Suslin Functional
(available as arXiv preprint) | 2018-10-17 | Paper |
S. Barry Cooper (1943–2015)
Computability | 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\)
(available as arXiv preprint) | 2018-04-25 | Paper |
On the Cantor-Bendixson rank of a set that is searchable in Gödel's \(T\)
Computability | 2016-04-13 | Paper |
Higher-order computability
Theory and Applications of Computability | 2015-12-16 | Paper |
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
Logical Methods in Computer Science | 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
Annals of Pure and Applied Logic | 2012-03-13 | Paper |
A rich hierarchy of functionals of finite types
Logical Methods in Computer Science | 2011-06-28 | Paper |
Banach spaces as data types
Logical Methods in Computer Science | 2011-05-26 | Paper |
Internal Density Theorems for Hierarchies of Continuous Functionals
Logic and Theory of Algorithms | 2008-06-19 | Paper |
| Applications of the Kleene-Kreisel density theorem to theoretical computer science | 2008-04-29 | Paper |
Comparing hierarchies of total functionals
Logical Methods in Computer Science | 2007-10-11 | Paper |
On sequential functionals of type 3
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
Computing with Functionals—Computability Theory or Computer Science?
The Bulletin of Symbolic Logic | 2006-07-10 | Paper |
| Definability and reducibility in higher types over the reals | 2006-07-03 | Paper |
| scientific article; zbMATH DE number 2197810 (Why is no real title available?) | 2005-08-23 | Paper |
Hierarchies of total functionals over the reals
Theoretical Computer Science | 2004-08-04 | Paper |
Limit spaces and transfinite types
Archive for Mathematical Logic | 2003-09-16 | Paper |
Representation theorems for transfinite computability and definability
Archive for Mathematical Logic | 2003-09-16 | Paper |
Continuity, proof systems and the theory of transfinite computations
Archive for Mathematical Logic | 2003-09-16 | Paper |
The computational power of \({\mathcal M}^\omega\)
Mathematical Logic Quarterly (MLQ) | 2002-09-16 | Paper |
Exact real number computations relative to hereditarily total functionals.
Theoretical Computer Science | 2002-07-31 | Paper |
On choosing the correct model for computability over the reals
Normat | 2002-04-17 | Paper |
| scientific article; zbMATH DE number 1722644 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1390018 (Why is no real title available?) | 2001-07-22 | Paper |
Computability over the partial continuous functionals
Journal of Symbolic Logic | 2001-07-16 | Paper |
| scientific article; zbMATH DE number 1531372 (Why is no real title available?) | 2001-02-28 | Paper |
| scientific article; zbMATH DE number 1531371 (Why is no real title available?) | 2001-02-28 | Paper |
Hyperfinite type structures
Journal of Symbolic Logic | 2000-06-22 | Paper |
| scientific article; zbMATH DE number 1405582 (Why is no real title available?) | 2000-02-23 | Paper |
Closing the gap between the continuous functionals and recursion in \(^3E\)
Archive for Mathematical Logic | 1998-12-03 | Paper |
Total objects in inductively defined types
Archive for Mathematical Logic | 1997-12-10 | Paper |
Hereditarily effective typestreams
Archive for Mathematical Logic | 1997-10-30 | Paper |
| scientific article; zbMATH DE number 895270 (Why is no real title available?) | 1996-11-05 | Paper |
| scientific article; zbMATH DE number 841092 (Why is no real title available?) | 1996-02-04 | Paper |
Interpreting higher computations as types with totality
Archive for Mathematical Logic | 1994-11-06 | Paper |
| scientific article; zbMATH DE number 269331 (Why is no real title available?) | 1994-05-06 | Paper |
| scientific article; zbMATH DE number 218500 (Why is no real title available?) | 1993-06-29 | Paper |
Embeddability of ptykes
Journal of Symbolic Logic | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 4114613 (Why is no real title available?) | 1989-01-01 | Paper |
Set recursion and \(\Pi ^ 1_ 2\)-logic
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3946115 (Why is no real title available?) | 1985-01-01 | Paper |
Effective cofinalities and admissibility in E-recursion
Fundamenta Mathematicae | 1984-01-01 | Paper |
The definability of E(α)
Journal of Symbolic Logic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3851054 (Why is no real title available?) | 1984-01-01 | Paper |
Characterizing the continuous functionals
Journal of Symbolic Logic | 1983-01-01 | Paper |
R.E. degrees of continuous functionals
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
GENERAL TYPE-STRUCTURES OF CONTINUOUS AND COUNTABLE FUNCTIONALS
Mathematical Logic Quarterly | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3916254 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3786766 (Why is no real title available?) | 1982-01-01 | Paper |
Countable functionals and the projective hierarchy
Journal of Symbolic Logic | 1981-01-01 | Paper |
The continuous functionals; computations, recursions and degrees
Annals of Mathematical Logic | 1981-01-01 | Paper |
Recursion on the countable functionals
Lecture Notes in Mathematics | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3685472 (Why is no real title available?) | 1980-01-01 | Paper |
The 1-section of a countable functional
Journal of Symbolic Logic | 1980-01-01 | Paper |
A Jump Operator in Set Recursion
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1979-01-01 | Paper |
Degrees of functionals
Annals of Mathematical Logic | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3664930 (Why is no real title available?) | 1979-01-01 | Paper |
A note on reflection.
MATHEMATICA SCANDINAVICA | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3618128 (Why is no real title available?) | 1979-01-01 | Paper |
A continuous functional with noncollapsing hierarchy
Journal of Symbolic Logic | 1978-01-01 | Paper |
Models for recursion theory
Journal of Symbolic Logic | 1977-01-01 | Paper |
Martin's axiom and medial functions.
MATHEMATICA SCANDINAVICA | 1976-01-01 | Paper |
On absolutely measurable sets
Fundamenta Mathematicae | 1974-01-01 | Paper |
On abstract 1-sections
Synthese | 1974-01-01 | Paper |
On some computational properties of open sets
(available as arXiv preprint) | N/A | Paper |
On sequential theorems in Reverse Mathematics
(available as arXiv preprint) | N/A | Paper |
