| Publication | Date of Publication | Type |
|---|
| Provable (and unprovable) computability | 2024-09-09 | Paper |
The hierarchy of terminating recursive programs over N
Lecture Notes in Computer Science | 2023-12-12 | Paper |
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
The Bulletin of Symbolic Logic | 2021-09-17 | Paper |
Pointwise transfinite induction and a miniaturized predicativity
Advances in Proof Theory | 2020-08-07 | Paper |
Predicatively unprovable termination of the Ackermannian Goodstein process
Proceedings of the American Mathematical Society | 2020-06-11 | Paper |
Tiered arithmetics
Outstanding Contributions to Logic | 2020-02-05 | Paper |
S. Barry Cooper (1943–2015)
Computability | 2018-09-20 | Paper |
| A hierarchy of ramified theories below PRA | 2014-06-24 | Paper |
| Proofs and computations | 2012-01-27 | Paper |
| scientific article; zbMATH DE number 5862941 (Why is no real title available?) | 2011-03-09 | Paper |
| Recursion and proofs | 2008-01-14 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
| scientific article; zbMATH DE number 2222029 (Why is no real title available?) | 2005-11-02 | Paper |
Inductive definitions over a predicative arithmetic
Annals of Pure and Applied Logic | 2005-09-22 | Paper |
Elementary arithmetic
Annals of Pure and Applied Logic | 2005-04-21 | Paper |
| scientific article; zbMATH DE number 2110622 (Why is no real title available?) | 2004-10-26 | Paper |
| Proof theoretic complexity of low subrecursive classes | 2002-03-07 | Paper |
Accessible Recursive Functions
The Bulletin of Symbolic Logic | 2001-02-05 | Paper |
| scientific article; zbMATH DE number 1555192 (Why is no real title available?) | 2001-01-22 | Paper |
| scientific article; zbMATH DE number 1342252 (Why is no real title available?) | 1999-09-22 | Paper |
| scientific article; zbMATH DE number 1215495 (Why is no real title available?) | 1998-10-26 | Paper |
| scientific article; zbMATH DE number 1136114 (Why is no real title available?) | 1998-09-21 | Paper |
| scientific article; zbMATH DE number 1070628 (Why is no real title available?) | 1997-10-07 | Paper |
| scientific article; zbMATH DE number 806754 (Why is no real title available?) | 1997-06-15 | Paper |
| scientific article; zbMATH DE number 841086 (Why is no real title available?) | 1996-02-26 | Paper |
| scientific article; zbMATH DE number 785053 (Why is no real title available?) | 1995-12-13 | Paper |
Equational derivation vs. computation
Annals of Pure and Applied Logic | 1994-11-27 | Paper |
| scientific article; zbMATH DE number 432699 (Why is no real title available?) | 1993-11-11 | Paper |
| scientific article; zbMATH DE number 218515 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 177847 (Why is no real title available?) | 1993-05-18 | Paper |
Ordinal complexity of recursive definitions
Information and Computation | 1992-09-27 | Paper |
Slow growing versus fast growing
Journal of Symbolic Logic | 1989-01-01 | Paper |
A plus-1 theorem for subsections
Archive for Mathematical Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4033742 (Why is no real title available?) | 1987-01-01 | Paper |
Members of countable \(\Pi ^ 0_ 1\) classes
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4016884 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4016888 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3920456 (Why is no real title available?) | 1984-01-01 | Paper |
The slow-growing and the Graegorczyk hierarchies
Journal of Symbolic Logic | 1983-01-01 | Paper |
The 1-section of a countable functional
Journal of Symbolic Logic | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3531365 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3485771 (Why is no real title available?) | 1975-01-01 | Paper |
A hierarchy for the 1-section of any type two object
Journal of Symbolic Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3451842 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3451841 (Why is no real title available?) | 1974-01-01 | Paper |
Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
Journal of Symbolic Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3365229 (Why is no real title available?) | 1972-01-01 | Paper |
Hierarchies of number-theoretic functions I, II: A correction
Archiv für Mathematische Logik und Grundlagenforschung | 1971-01-01 | Paper |
Hierarchies of number-theoretic functions. I
Archiv für Mathematische Logik und Grundlagenforschung | 1970-01-01 | Paper |
A classification of the ordinal recursive functions
Archiv für Mathematische Logik und Grundlagenforschung | 1970-01-01 | Paper |
Hierarchies of number-theoretic functions II
Archiv für Mathematische Logik und Grundlagenforschung | 1970-01-01 | Paper |
