| Publication | Date of Publication | Type |
|---|
| The strong Spector-Gandy Theorem for the higher analytical pointclasses | 2022-02-07 | Paper |
| Elementary recursive algorithms | 2021-08-08 | Paper |
| Hyperarithmetical Sets | 2020-08-06 | Paper |
| Ordinal games and playful models | 2020-03-09 | Paper |
| Measurable cardinals in playful models | 2020-03-09 | Paper |
| Abstract Recursion and Intrinsic Complexity | 2018-10-22 | Paper |
| Erratum | 2018-01-19 | Paper |
| Intuitionism and effective descriptive set theory | 2018-01-12 | Paper |
| Arithmetic complexity | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5271417 | 2017-07-11 | Paper |
| Classical descriptive set theory as a refinement of effective descriptive set theory | 2011-09-12 | Paper |
| Kleene's Amazing Second Recursion Theorem | 2010-10-15 | Paper |
| Kleene’s Amazing Second Recursion Theorem | 2009-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5322161 | 2009-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607619 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607622 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607623 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607633 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5384970 | 2008-04-29 | Paper |
| Notes on Set Theory | 2006-03-20 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Is the Euclidean Algorithm Optimal Among its Peers? | 2005-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474854 | 2004-07-21 | Paper |
| On primitive recursive algorithms and the greatest common divisor function | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762147 | 2002-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247024 | 1999-11-15 | Paper |
| The logic of recursive equations | 1999-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395617 | 1998-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218941 | 1998-01-01 | Paper |
| Computable concurrent processes | 1997-02-28 | Paper |
| In Memoriam: Robin Oliver Gandy 1919–1995 | 1997-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4286718 | 1994-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281260 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4710656 | 1992-06-25 | Paper |
| A model of concurrency with fair merge and full recursion | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204036 | 1989-01-01 | Paper |
| The formal language of recursion | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3734395 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3342564 | 1983-01-01 | Paper |
| The extent of definable scales | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689175 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927229 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927230 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3944598 | 1981-01-01 | Paper |
| Descriptive set theory | 1980-01-01 | Paper |
| Global inductive definability | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4180340 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182735 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154856 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111564 | 1975-01-01 | Paper |
| Elementary induction on abstract structures | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4047541 | 1974-01-01 | Paper |
| On nonmonotone inductive definability | 1974-01-01 | Paper |
| Two theorems about projective sets | 1972-01-01 | Paper |
| The Game Quantifier | 1972-01-01 | Paper |
| The Suslin-Kleene theorem for \(V_\kappa\) with cofinality(\(\kappa)=\omega\). | 1971-01-01 | Paper |
| Uniformization in a playful universe | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642549 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5642550 | 1971-01-01 | Paper |
| The next admissible set | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5654032 | 1971-01-01 | Paper |
| The Suslin-Kleene theorem for countable structures | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5609367 | 1970-01-01 | Paper |
| Abstract First Order Computability. I | 1969-01-01 | Paper |
| Abstract Computability and Invariant Definability | 1969-01-01 | Paper |
| SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS | 1968-01-01 | Paper |
| Hyperanalytic Predicates | 1967-01-01 | Paper |
| Many-one degrees of the predicates \(H_ a(x)\) | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5518362 | 1965-01-01 | Paper |
| Recursive metric spaces | 1964-01-01 | Paper |
