| Publication | Date of Publication | Type |
|---|
| Monotone versus non-monotone projective operators | 2025-01-15 | Paper |
| ASYMMETRIC CUT AND CHOOSE GAMES | 2024-02-23 | Paper |
| When cardinals determine the power set: inner models and Härtig quantifier logic | 2024-01-02 | Paper |
| Proving Theorems from Reflection | 2023-09-20 | Paper |
| Countable ranks at the first and second projective levels | 2022-07-18 | Paper |
| Decision times of infinite computations | 2022-07-13 | Paper |
| CLOSED AND UNBOUNDED CLASSES AND THE HÄRTIG QUANTIFIER MODEL | 2022-06-15 | Paper |
| STABLY MEASURABLE CARDINALS | 2021-10-27 | Paper |
| Characterisations of variant transfinite computational models: Infinite time Turing, ordinal time Turing, and Blum–Shub–Smale machines | 2021-06-25 | Paper |
| SOME OBSERVATIONS ON TRUTH HIERARCHIES: A CORRECTION | 2021-05-11 | Paper |
| Characterisations of Variant Transfinite Computational Models: Infinite Time Turing, Ordinal Time Turing, and Blum-Shub-Smale machines | 2020-12-14 | Paper |
| Decision times of infinite computations | 2020-11-10 | Paper |
| Higher type recursion for transfinite machine theory | 2020-05-12 | Paper |
| GAMES AND RAMSEY-LIKE CARDINALS | 2019-03-15 | Paper |
| Closed Unbounded classes and the Haertig Quantifier Model | 2019-03-06 | Paper |
| Stably Measurable Cardinals | 2019-01-16 | Paper |
| Lower consistency bounds for mutual stationarity with divergent uncountable cofinalities | 2018-11-13 | Paper |
| THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS | 2018-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4689311 | 2018-10-15 | Paper |
| Taming Koepke's zoo | 2018-09-06 | Paper |
| The Ramified Analytical Hierarchy using Extended Logics | 2018-08-11 | Paper |
| Discrete Transfinite Computation | 2018-04-18 | Paper |
| Recognizable sets and Woodin cardinals: computation beyond the constructible universe | 2018-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2803847 | 2016-05-03 | Paper |
| LOCAL CLUB CONDENSATION AND L-LIKENESS | 2016-03-22 | Paper |
| G_{\delta \sigma}-games and generalized computation | 2015-09-30 | Paper |
| The aftermath | 2013-07-18 | Paper |
| REVISION REVISITED | 2013-01-10 | Paper |
| Discrete Transfinite Computation | 2012-09-05 | Paper |
| Global square and mutual stationarity at the \(\aleph_n\) | 2011-09-22 | Paper |
| A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0 | 2011-09-09 | Paper |
| Hypermachines | 2011-06-28 | Paper |
| Σ* Fine Structure | 2010-11-05 | Paper |
| Erratum to ``The undecidability of propositional adaptive logic | 2009-11-04 | Paper |
| Relativistic Computers and Transfinite Computation | 2009-10-22 | Paper |
| On the consistency strength of the inner model hypothesis | 2008-06-09 | Paper |
| Bounding lemmata for non-deterministic halting times of transfinite Turing machines | 2008-04-16 | Paper |
| The undecidability of propositional adaptive logic | 2007-11-14 | Paper |
| Turing Unbound: Transfinite Computation | 2007-11-13 | Paper |
| The strength of the Inner Model Hypothesis | 2007-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425068 | 2007-03-05 | Paper |
| Comparing inductive and circular definitions: Parameters, complexity and games | 2006-03-17 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711928 | 2005-12-08 | Paper |
| Set-theoretic absoluteness and the revision theory of truth | 2004-02-08 | Paper |
| Pf ≠ NPf for almost all f | 2003-11-10 | Paper |
| Possible-worlds semantics for modal notions conceived as predicates | 2003-06-09 | Paper |
| Bounded Martin's Maximum, weak Erdӧs cardinals, and ψAc | 2002-12-16 | Paper |
| P^f is not equal to NP^f for almost all f | 2002-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944928 | 2000-09-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934571 | 2000-06-13 | Paper |
| The reals in core models | 1987-01-01 | Paper |
| Minimality in the Δ⅓-degrees | 1987-01-01 | Paper |
| The natural hierarchy and quasi-hierarchy of constructibility degrees | 1986-01-01 | Paper |
| Comparing incomparable kleene degrees | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691660 | 1984-01-01 | Paper |
| Determinacy and \Delta^1_3-degrees | N/A | Paper |
