| Publication | Date of Publication | Type |
|---|
| Inner and Outer Models for Constructive Set Theories | 2023-08-11 | Paper |
| On the necessity of some topological spaces | 2022-12-07 | Paper |
| Feedback hyperjump | 2022-02-08 | Paper |
| Notions of Cauchyness and metastability | 2020-12-15 | Paper |
| Feedback hyperjump | 2020-05-06 | Paper |
| An introduction to feedback Turing computability | 2020-04-29 | Paper |
| SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II | 2020-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376658 | 2019-05-17 | Paper |
| Feedback Turing Computability, and Turing Computability as Feedback | 2018-04-23 | Paper |
| Notions of Cauchyness and metastability | 2018-04-06 | Paper |
| Separating the fan theorem and its weakenings. II | 2018-04-06 | Paper |
| Feedback computability on Cantor space | 2017-08-03 | Paper |
| Parallel Feedback Turing Computability | 2017-07-21 | Paper |
| SEPARATING FRAGMENTS OF WLEM, LPO, AND MP | 2017-04-28 | Paper |
| Elementary epimorphisms between models of set theory | 2017-02-02 | Paper |
| SEPARATING THE FAN THEOREM AND ITS WEAKENINGS | 2015-12-11 | Paper |
| Well-founded Iterations of Infinite Time Turing Machines | 2015-10-02 | Paper |
| On extensions of supercompactness | 2015-06-22 | Paper |
| SEPARATING THE FAN THEOREM AND ITS WEAKENINGS | 2014-12-05 | Paper |
| Walker's Cancellation Theorem | 2014-05-02 | Paper |
| Principles weaker than BD-N | 2014-01-07 | Paper |
| Realizability Models Separating Various Fan Theorems | 2013-08-05 | Paper |
| On the Cauchy Completeness of the Constructive Cauchy Reals | 2013-05-10 | Paper |
| On the failure of BD-ℕ and BD, and an application to the anti-specker property | 2013-04-23 | Paper |
| Signed-bit representations of real numbers | 2012-12-17 | Paper |
| Geometric spaces with no points | 2012-12-17 | Paper |
| The Kripke schema in metric topology | 2012-12-10 | Paper |
| Topological forcing semantics with settling | 2012-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081648 | 2011-03-09 | Paper |
| Zero sets of univariate polynomials | 2011-01-06 | Paper |
| Topological forcing semantics with settling | 2009-02-24 | Paper |
| On the constructive Dedekind reals | 2009-02-11 | Paper |
| On the Constructive Dedekind Reals: Extended Abstract | 2008-01-04 | Paper |
| On the Cauchy completeness of the constructive Cauchy reals | 2007-09-17 | Paper |
| CZF and second order arithmetic | 2006-08-16 | Paper |
| Independence results around constructive ZF | 2005-02-23 | Paper |
| IKP and friends | 2004-03-01 | Paper |
| On the regular extension axiom and its variants | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764114 | 1995-05-01 | Paper |
| μ-definable sets of integers | 1993-08-17 | Paper |
| An introduction to γ-recursion theory (or what to do in KP – Foundation) | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5752561 | 1989-01-01 | Paper |
| Sacks forcing sometimes needs help to produce a minimal upper bound | 1989-01-01 | Paper |
| There's No Forcing a Least Upper Bound | 1989-01-01 | Paper |
| Admissibility spectra and minimality | 1988-01-01 | Paper |
| Another extension of Van de Wiele's theorem | 1988-01-01 | Paper |
| Playing with admissibility spectra | 1988-01-01 | Paper |
| Correction to “Simple r. e. degree structures” | 1988-01-01 | Paper |
| Simple r. e. degree structures | 1987-01-01 | Paper |
| Lattices of c-degrees | 1987-01-01 | Paper |
| Admissibility spectra through \(\omega _ 1\) | 1987-01-01 | Paper |
| Uncountable master codes and the jump hierarchy | 1987-01-01 | Paper |
