| Publication | Date of Publication | Type |
|---|
| Higher Recursion Theory | 2017-07-06 | Paper |
| ON THE NON-ENUMERABILITY OF L | 2017-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3464660 | 2016-01-27 | Paper |
| E-RECURSION 2012 | 2016-01-18 | Paper |
| MODELS OF LONG SENTENCES I | 2013-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3588126 | 2010-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3539556 | 2008-11-19 | Paper |
| Bounds on weak scattering | 2007-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524977 | 2001-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934285 | 2000-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938565 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4398473 | 1999-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397037 | 1998-06-25 | Paper |
| Effective forcing versus proper forcing | 1997-03-11 | Paper |
| Preface to the special volume dedicated to the late Stephen Cole Kleene | 1996-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040890 | 1993-06-05 | Paper |
| Generalized Hyperarithmetic Theory | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197303 | 1990-01-01 | Paper |
| Inadmissible forcing | 1987-01-01 | Paper |
| The limits of E-recursive enumerability | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705432 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745832 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3676125 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922663 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926564 | 1980-01-01 | Paper |
| Effective bounds on Morley rank | 1979-01-01 | Paper |
| The K-Section of a Type n Object | 1977-01-01 | Paper |
| Inadmissible recursion theory | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4154544 | 1977-01-01 | Paper |
| Countable admissible ordinals and hyperdegrees | 1976-01-01 | Paper |
| Uncountable Gandy Ordinals | 1976-01-01 | Paper |
| Remarks against foundational activity | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773693 | 1974-01-01 | Paper |
| The α-finite injury method | 1972-01-01 | Paper |
| Some minimal pairs of α-recursively enumerable degrees | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5652669 | 1972-01-01 | Paper |
| The differential closure of a differential field | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632568 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4052099 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5632563 | 1971-01-01 | Paper |
| On the reducibility of \(\Pi_ 1^ 1\) sets | 1971-01-01 | Paper |
| Measure-Theoretic Uniformity in Recursion Theory and Set Theory | 1969-01-01 | Paper |
| Measure-Theoretic Uniformity | 1969-01-01 | Paper |
| On a Theorem of Lachlan and Martin | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5583062 | 1967-01-01 | Paper |
| A minimal hyperdegree | 1967-01-01 | Paper |
| Measure-theoretic uniformity | 1967-01-01 | Paper |
| Post's Problem, Admissible Ordinals, and Regularity | 1966-01-01 | Paper |
| Metarecursively enumerable sets and admissible ordinals | 1966-01-01 | Paper |
| Metarecursive sets | 1965-01-01 | Paper |
| The recursively enumerable degrees are dense | 1964-01-01 | Paper |
| A maximal set which is not complete | 1964-01-01 | Paper |
| A Simple Set Which is Not Effectively Simple | 1964-01-01 | Paper |
| On the degrees less than 0' | 1963-01-01 | Paper |
| Recursive Enumerability and the Jump Operator | 1963-01-01 | Paper |
| Degrees of Unsolvability. (AM-55) | 1963-01-01 | Paper |
| A minimal degree less than 0’ | 1961-01-01 | Paper |
| On Suborderings of Degrees of Recursive Unsolvability | 1961-01-01 | Paper |
