| Publication | Date of Publication | Type |
|---|
| Constructing the constructible universe constructively | 2024-01-08 | Paper |
| Well ordering principles for iterated \(\Pi^1_1\)-comprehension | 2023-10-30 | Paper |
| The Art of Measuring the Strength of Theories | 2023-10-16 | Paper |
| An Introduction to Constructive Set Theory: An Appetizer | 2023-08-11 | Paper |
| An Introduction to Intuitionistic Logic | 2023-08-11 | Paper |
| No Speedup for Geometric Theories | 2023-08-04 | Paper |
| Domain Theory and Realisability over Scott’s D∞ in Constructive Set Theory | 2023-08-04 | Paper |
| Choice and independence of premise rules in intuitionistic set theory | 2023-07-26 | Paper |
| Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice | 2023-01-09 | Paper |
| Well-Ordering Principles in Proof Theory and Reverse Mathematics | 2022-12-13 | Paper |
| Kreisel-L\'evy-type theorems for Kripke-Platek and other set theories | 2022-12-06 | Paper |
| Boundedness theorems for flowers and sharps | 2022-07-08 | Paper |
| Minimal bad sequences are necessary for a uniform Kruskal theorem | 2022-04-14 | Paper |
| Admissible extensions of subtheories of second order arithmetic | 2022-02-07 | Paper |
| Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension | 2021-12-03 | Paper |
| On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics | 2021-12-03 | Paper |
| Ackermann and Goodstein go functorial | 2021-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5009707 | 2021-08-05 | Paper |
| LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION | 2021-04-15 | Paper |
| Extensional realizability for intuitionistic set theory | 2021-04-09 | Paper |
| Derivatives of normal functions in reverse mathematics | 2020-12-15 | Paper |
| Ackermann and Goodstein go functorial | 2020-11-06 | Paper |
| Well-Ordering Principles in Proof Theory and Reverse Mathematics | 2020-10-23 | Paper |
| On Relating Theories: Proof-Theoretical Reduction | 2020-08-10 | Paper |
| Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory | 2020-08-07 | Paper |
| Upper Bounds on the Graph Minor Theorem | 2020-07-08 | Paper |
| A note on the ordinal analysis of \(\mathrm{RCA}_0+\mathrm{WO}(\mathbf{\sigma})\) | 2020-05-12 | Paper |
| Power Kripke–Platek set theory and the axiom of choice | 2020-04-29 | Paper |
| Remarks on Barr’s Theorem: Proofs in Geometric Theories | 2020-04-03 | Paper |
| Proof Theory of Constructive Systems: Inductive Types and Univalence | 2020-02-05 | Paper |
| Minimal bad sequences are necessary for a uniform Kruskal theorem | 2020-01-17 | Paper |
| The independence of premise rule in intuitionistic set theories | 2019-11-18 | Paper |
| Preservation of choice principles under realizability | 2019-11-04 | Paper |
| A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice | 2019-05-28 | Paper |
| The scope of Feferman's semi-intuitionistic set theories and his second conjecture | 2019-05-02 | Paper |
| Power Kripke-Platek set theory and the axiom of choice | 2018-01-05 | Paper |
| Goodstein’s Theorem Revisited | 2017-09-27 | Paper |
| Well-Ordering Principles and Bar Induction | 2017-09-27 | Paper |
| Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition | 2017-09-15 | Paper |
| An order-theoretic characterization of the Howard-Bachmann-hierarchy | 2017-02-24 | Paper |
| Classifying the provably total set functions of KP and KP(P) | 2016-10-07 | Paper |
| INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN | 2016-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464624 | 2016-01-27 | Paper |
| Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions | 2015-06-05 | Paper |
| Well-partial-orderings and the big Veblen number | 2015-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981443 | 2014-06-24 | Paper |
| Relativized ordinal analysis: the case of power Kripke-Platek set theory | 2014-01-13 | Paper |
| Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience | 2013-12-10 | Paper |
| Realizability Models Separating Various Fan Theorems | 2013-08-05 | Paper |
| Slow consistency | 2013-02-19 | Paper |
| Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory | 2013-02-04 | Paper |
| The Friedman-Sheard programme in intuitionistic logic | 2012-09-19 | Paper |
| From the weak to the strong existence property | 2012-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2906572 | 2012-09-05 | Paper |
| Ordinal Analysis and the Infinite Ramsey Theorem | 2012-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081650 | 2011-03-09 | Paper |
| A note on the theory of positive induction, \({{\text{ID}}^*_1}\) | 2010-03-02 | Paper |
| An ordinal analysis for theories of self-referential truth | 2010-03-02 | Paper |
| Reverse mathematics and well-ordering principles: a pilot study | 2009-10-26 | Paper |
| The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory | 2009-03-12 | Paper |
| On the constructive Dedekind reals | 2009-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384979 | 2008-04-29 | Paper |
| The natural numbers in constructive set theory | 2008-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5435636 | 2008-01-14 | Paper |
| On the Constructive Dedekind Reals: Extended Abstract | 2008-01-04 | Paper |
| Theories and Ordinals: Ordinal Analysis | 2007-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5310885 | 2007-10-15 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5494237 | 2006-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5489367 | 2006-09-26 | Paper |
| The disjunction and related properties for constructive Zermelo-Fraenkel set theory | 2006-09-06 | Paper |
| A note on Bar Induction in Constructive Set Theory | 2006-08-30 | Paper |
| Theories and ordinals in proof theory | 2006-08-18 | Paper |
| Characterizing the interpretation of set theory in Martin-Löf type theory | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5477363 | 2006-07-03 | Paper |
| The constructive Hilbert program and the limits of Martin-Löf type theory | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718561 | 2006-01-16 | Paper |
| Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory | 2005-09-22 | Paper |
| An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension | 2005-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663837 | 2005-04-04 | Paper |
| An ordinal analysis of stability | 2005-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453639 | 2004-03-07 | Paper |
| On the regular extension axiom and its variants | 2003-11-10 | Paper |
| A note on the \(\Sigma_1\) spectrum of a theory | 2003-09-16 | Paper |
| Realizing Mahlo set theory in type theory | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793037 | 2003-02-18 | Paper |
| Kripke-Platek Set Theory and the Anti-Foundation Axiom | 2003-01-13 | Paper |
| Inaccessible set axioms may have little consistency strength | 2002-08-22 | Paper |
| The strength of Martin-Löf type theory with a superuniverse. II | 2002-03-03 | Paper |
| The strength of Martin-Löf type theory with a superuniverse. I | 2001-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934564 | 2000-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944921 | 2000-09-20 | Paper |
| Explicit mathematics with the monotone fixed point principle. II: Models | 2000-02-10 | Paper |
| Inaccessibility in constructive set theory and type theory | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381421 | 1999-09-21 | Paper |
| Explicit mathematics with the monotone fixed point principle | 1999-05-16 | Paper |
| On the proof-theoretic strength of monotone induction in explicit mathematics | 1997-11-04 | Paper |
| Recent Advances in Ordinal Analysis: Π12— CA and Related Systems | 1997-02-09 | Paper |
| Monotone inductive definitions in explicit mathematics | 1996-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325775 | 1996-03-17 | Paper |
| The Recursively Mahlo Property in Second Order Arithmetic | 1996-03-06 | Paper |
| The strength of some Martin-Löf type theories | 1995-08-27 | Paper |
| Proof theory of reflection | 1995-06-07 | Paper |
| Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM | 1995-01-23 | Paper |
| How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals | 1995-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138834 | 1994-07-07 | Paper |
| Proof-theoretic investigations on Kruskal's theorem | 1993-05-16 | Paper |
| A proof-theoretic characterization of the primitive recursive set functions | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4023790 | 1993-01-23 | Paper |
| The role of parameters in bar rule and bar induction | 1992-06-27 | Paper |
| Proof-theoretic analysis of KPM | 1991-01-01 | Paper |
| Ordinal notations based on a weakly Mahlo cardinal | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3809793 | 1988-01-01 | Paper |
| Admissible extensions of subtheories of second order arithmetic | 0001-01-03 | Paper |
