| Publication | Date of Publication | Type |
|---|
| A WALK WITH GOODSTEIN | 2024-04-09 | Paper |
| Functorial Fast-Growing Hierarchies | 2024-02-07 | Paper |
| Intermediate Goodstein Principles | 2023-08-04 | Paper |
| Ackermannian Goodstein sequences of intermediate growth | 2022-12-16 | 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 |
| Calculating Maximal Order Types for Finite Rooted Unstructured Labeled Trees | 2021-12-03 | Paper |
| Fast Goodstein Walks | 2021-11-30 | Paper |
| Ackermann and Goodstein go functorial | 2021-10-19 | Paper |
| GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION | 2021-09-17 | Paper |
| ACKERMANNIAN GOODSTEIN PRINCIPLES FOR FIRST ORDER PEANO ARITHMETIC | 2020-12-02 | Paper |
| Ackermann and Goodstein go functorial | 2020-11-06 | Paper |
| Monadic second order limit laws for natural well orderings | 2020-07-28 | Paper |
| Giant and illusionary giant Goodstein principles | 2020-07-17 | Paper |
| Predicatively unprovable termination of the Ackermannian Goodstein process | 2020-06-11 | Paper |
| Minimal bad sequences are necessary for a uniform Kruskal theorem | 2020-01-17 | Paper |
| Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games | 2017-09-27 | Paper |
| Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition | 2017-09-15 | Paper |
| The strength of infinitary Ramseyan principles can be accessed by their densities | 2017-06-15 | Paper |
| An order-theoretic characterization of the Howard-Bachmann-hierarchy | 2017-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2959916 | 2017-02-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464616 | 2016-01-27 | Paper |
| Provable or not? The limit 0,639578175\(\ldots\) | 2015-12-10 | Paper |
| How to Compare Buchholz-Style Ordinal Notation Systems with Gordeev-Style Notation Systems | 2015-10-20 | Paper |
| Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\) | 2015-08-27 | Paper |
| Phase Transitions Related to the Pigeonhole Principle | 2015-02-25 | Paper |
| Well-partial-orderings and the big Veblen number | 2015-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981441 | 2014-06-24 | Paper |
| Asymptotic distribution of integers with certain prime factorizations | 2014-02-07 | Paper |
| Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension | 2013-09-02 | Paper |
| Slow consistency | 2013-02-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2906572 | 2012-09-05 | Paper |
| Formula2-computable real numbers | 2012-09-05 | Paper |
| Some Natural Zero One Laws for Ordinals Below ε 0 | 2012-08-14 | Paper |
| A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive Definitions | 2012-05-13 | Paper |
| Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences | 2012-05-07 | Paper |
| Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment | 2012-04-03 | Paper |
| Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal | 2012-03-29 | Paper |
| Streamlined subrecursive degree theory | 2012-03-29 | Paper |
| Phase transitions of iterated Higman-style well-partial-orderings | 2012-02-10 | Paper |
| On the lengths of bad sequences of monomial ideals over polynomial rings | 2012-01-13 | Paper |
| Ordinal arithmetic with simultaneously defined theta-functions | 2011-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079699 | 2011-03-02 | Paper |
| Unprovability results involving braids | 2011-01-19 | Paper |
| Sharp thresholds for hypergraph regressive Ramsey numbers | 2011-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3582051 | 2010-09-02 | Paper |
| A Miniaturisation of Ramsey’s Theorem | 2010-07-29 | Paper |
| A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets | 2010-07-28 | Paper |
| Partitioning $\alpha$-large sets for $\alpha<\varepsilon_{\omega}$ | 2010-01-14 | Paper |
| Complexity of Gödel’s T in λ-Formulation | 2009-07-07 | Paper |
| Classifying the phase transition threshold for Ackermannian functions | 2009-04-16 | Paper |
| Phase transitions for Gödel incompleteness | 2009-03-25 | Paper |
| Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers | 2008-09-04 | Paper |
| Phase Transitions for Weakly Increasing Sequences | 2008-06-19 | Paper |
| A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions | 2008-02-07 | Paper |
| More on lower bounds for partitioning \(\alpha\)-large sets | 2007-07-16 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Classifying the Provably Total Functions of PA | 2007-04-05 | Paper |
| Phase transition thresholds for some Friedman-style independence results | 2007-02-20 | Paper |
| An extremely sharp phase transition threshold for the slow growing hierarchy | 2007-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5485305 | 2006-08-29 | Paper |
| Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664259 | 2005-04-05 | Paper |
| An application of graphical enumeration to PA * | 2004-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447240 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449291 | 2004-02-08 | Paper |
| A classification of rapidly growing Ramsey functions | 2003-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428931 | 2003-09-22 | Paper |
| Slow versus fast growing | 2003-04-27 | Paper |
| Some interesting connections between the slow growing hierarchy and the Ackermann function | 2002-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2743650 | 2001-11-06 | Paper |
| Characterizing the elementary recursive functions by a fragment of Gödel's \(T\) | 2001-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4521126 | 2001-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934570 | 2000-09-27 | Paper |
| A uniform approach for characterizing the provably total number-theoretic functions of KPM and (some of) its subsystems | 1999-11-22 | Paper |
| How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study | 1999-09-09 | Paper |
| Bounding derivation lengths with functions from the slow growing hierarchy | 1999-08-19 | Paper |
| Sometimes slow growing is fast growing | 1998-08-03 | Paper |
| A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity | 1997-12-10 | Paper |
| Term rewriting theory for the primitive recursive functions | 1997-09-29 | Paper |
| A term rewriting characterization of the polytime functions and related complexity classes | 1997-06-02 | Paper |
| How to characterize provably total functions by local predicativity | 1997-04-10 | Paper |
| Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893145 | 1997-01-13 | Paper |
| Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones | 1996-07-24 | Paper |
| A simplified functorial construction of the veblen hierarchy | 1995-06-13 | Paper |
| Complexity bounds for some finite forms of Kruskal's theorem | 1995-06-08 | Paper |
| A Uniform Approach to Fundamental Sequences and Hierarchies | 1995-05-14 | Paper |
| A functorial property of the Aczel-Buchholz-Feferman function | 1995-03-15 | Paper |
| An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy | 1994-10-05 | Paper |
| Simplified collapsing functions and their applications | 1993-10-26 | Paper |
| Bounds for the closure ordinals of essentially monotonic increasing functions | 1993-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202962 | 1993-09-06 | Paper |
| Proof-theoretic investigations on Kruskal's theorem | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4001993 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3480035 | 1991-01-01 | Paper |
