| Publication | Date of Publication | Type |
|---|
| Short note: least fixed points versus least closed points | 2021-10-29 | Paper |
| From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts | 2020-08-10 | Paper |
| Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) | 2020-04-03 | Paper |
| An infinitary treatment of full \(\mu\)-calculus | 2020-03-04 | Paper |
| The Operational Penumbra: Some Ontological Aspects | 2020-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4630796 | 2019-04-23 | Paper |
| TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES | 2018-10-26 | Paper |
| ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS | 2018-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636047 | 2018-04-23 | Paper |
| A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions | 2017-09-27 | Paper |
| RELATIVIZING OPERATIONAL SET THEORY | 2017-05-26 | Paper |
| Intuitionistic common knowledge or belief | 2016-10-31 | Paper |
| Explicit mathematics and operational set theory: some ontological comparisons | 2016-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981451 | 2014-06-24 | Paper |
| Operational closure and stability | 2013-11-29 | Paper |
| A Buchholz rule for modal fixed point logics | 2013-03-19 | Paper |
| The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories | 2011-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081646 | 2011-03-09 | Paper |
| Modal Fixed Point Logics | 2010-12-13 | Paper |
| Full operational set theory with unbounded existential quantification and power set | 2009-06-17 | Paper |
| Canonical completeness of infinitary \(\mu \) | 2008-09-01 | Paper |
| Cut-free common knowledge | 2008-03-11 | Paper |
| On Feferman's operational set theory \textsf{OST} | 2007-12-12 | Paper |
| Reflections on reflections in explicit mathematics | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5316376 | 2005-09-12 | Paper |
| About cut elimination for logics of common knowledge | 2005-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663832 | 2005-04-04 | Paper |
| An intensional fixed point theory over first order arithmetic | 2004-08-16 | Paper |
| Variation on a theme of Schütte | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4793035 | 2003-02-18 | Paper |
| Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms | 2003-01-07 | Paper |
| Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory | 2002-12-05 | Paper |
| First order theories for nonmonotone inductive definitions: Recursively inaccessible and Mahlo | 2002-07-14 | Paper |
| Universes in explicit mathematics | 2002-03-12 | Paper |
| Fixed point theories and dependent choice | 2001-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941991 | 2000-12-26 | Paper |
| Bar induction and \(\omega\) model reflection | 1999-09-22 | Paper |
| The proof-theoretic analysis of transfinitely iterated fixed point theories | 1999-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215638 | 1998-10-26 | Paper |
| Power types in explicit mathematics? | 1998-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4357064 | 1997-10-07 | Paper |
| Systems of explicit mathematics with non-constructive \(\mu\)-operator. II | 1997-08-19 | Paper |
| Some theories with positive induction of ordinal strength φω0 | 1996-12-12 | Paper |
| Second order theories with ordinals and elementary comprehension | 1996-09-22 | Paper |
| Totality in applicative theories | 1996-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842537 | 1995-08-14 | Paper |
| Systems of explicit mathematics with non-constructive \(\mu\)-operator. I | 1994-08-28 | Paper |
| About some symmetries of negation | 1994-08-15 | Paper |
| Fixed points in Peano arithmetic with ordinals | 1993-05-16 | Paper |
| The defining power of stratified and hierarchical logic programs | 1993-05-16 | Paper |
| About the proof-theoretic ordinals of weak fixed point theories | 1993-04-01 | Paper |
| Between constructive mathematics and PROLOG | 1992-06-25 | Paper |
| Annotations on the consistency of the closed world assumption | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729762 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3035279 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3778746 | 1986-01-01 | Paper |
| Countable Admissible Ordinals and Dilators | 1986-01-01 | Paper |
| A boundedness theorem in ID1(W) | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768427 | 1986-01-01 | Paper |
| A VERSION OF KRIPKE‐PLATEK SET THEORY WHICH IS CONSERVATIVE OVER PEANO ARITHMETIC | 1984-01-01 | Paper |
| ϱ-inaccessible ordinals, collapsing functions and a recursive notation system | 1984-01-01 | Paper |
| The strength of admissibility without foundation | 1984-01-01 | Paper |
| A well-ordering proof for Feferman's theoryT 0 | 1983-01-01 | Paper |
| Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3041187 | 1983-01-01 | Paper |
| Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968923 | 1982-01-01 | Paper |
| Beweistheorie vonKPN | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3895466 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3895467 | 1979-01-01 | Paper |
