| Publication | Date of Publication | Type |
|---|
| Provable (and unprovable) computability | 2024-09-09 | Paper |
| The hierarchy of terminating recursive programs over N | 2023-12-12 | Paper |
| GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION | 2021-09-17 | Paper |
| Pointwise Transfinite Induction and a Miniaturized Predicativity | 2020-08-07 | Paper |
| Predicatively unprovable termination of the Ackermannian Goodstein process | 2020-06-11 | Paper |
| Tiered Arithmetics | 2020-02-05 | Paper |
| S. Barry Cooper (1943–2015) | 2018-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981458 | 2014-06-24 | Paper |
| Proofs and Computations | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081652 | 2011-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5435640 | 2008-01-14 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5700823 | 2005-11-02 | Paper |
| Inductive definitions over a predicative arithmetic | 2005-09-22 | Paper |
| Elementary arithmetic | 2005-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823142 | 2004-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752056 | 2002-03-07 | Paper |
| Accessible Recursive Functions | 2001-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525292 | 2001-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263838 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215632 | 1998-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381424 | 1998-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4357068 | 1997-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4850555 | 1997-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863242 | 1996-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842542 | 1995-12-13 | Paper |
| Equational derivation vs. computation | 1994-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138826 | 1993-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694230 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038725 | 1993-05-18 | Paper |
| Ordinal complexity of recursive definitions | 1992-09-27 | Paper |
| Slow growing versus fast growing | 1989-01-01 | Paper |
| A plus-1 theorem for subsections | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773880 | 1987-01-01 | Paper |
| Members of countable \(\Pi ^ 0_ 1\) classes | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028996 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3028999 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3695270 | 1984-01-01 | Paper |
| The slow-growing and the Graegorczyk hierarchies | 1983-01-01 | Paper |
| The 1-section of a countable functional | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068712 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4108311 | 1975-01-01 | Paper |
| A hierarchy for the 1-section of any type two object | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4775861 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4775862 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638293 | 1972-01-01 | Paper |
| Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy | 1972-01-01 | Paper |
| Hierarchies of number-theoretic functions I, II: A correction | 1971-01-01 | Paper |
| Hierarchies of number-theoretic functions. I | 1970-01-01 | Paper |
| Hierarchies of number-theoretic functions II | 1970-01-01 | Paper |
| A classification of the ordinal recursive functions | 1970-01-01 | Paper |
