| Publication | Date of Publication | Type |
|---|
| Higher recursion theory | 2017-07-06 | Paper |
On the non-enumerability of \(L\)
Journal of Symbolic Logic | 2017-04-28 | Paper |
| \(E\)-recursive intuitions | 2016-01-27 | Paper |
\(E\)-recursion 2012
E-Recursion, Forcing and C*-Algebras | 2016-01-18 | Paper |
Models of long sentences. I
Proceedings of the 11th Asian Logic Conference | 2013-06-03 | Paper |
| scientific article; zbMATH DE number 5783641 (Why is no real title available?) | 2010-09-10 | Paper |
| scientific article; zbMATH DE number 5368519 (Why is no real title available?) | 2008-11-19 | Paper |
Bounds on weak scattering
Notre Dame Journal of Formal Logic | 2007-08-10 | Paper |
| scientific article; zbMATH DE number 1552762 (Why is no real title available?) | 2001-01-16 | Paper |
| scientific article; zbMATH DE number 1390020 (Why is no real title available?) | 2000-11-05 | Paper |
| scientific article; zbMATH DE number 1405586 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1176133 (Why is no real title available?) | 1999-02-04 | Paper |
| scientific article; zbMATH DE number 1169385 (Why is no real title available?) | 1998-06-25 | Paper |
Effective forcing versus proper forcing
Annals of Pure and Applied Logic | 1997-03-11 | Paper |
Preface to the special volume dedicated to the late Stephen Cole Kleene
Annals of Pure and Applied Logic | 1996-11-25 | Paper |
| scientific article; zbMATH DE number 194101 (Why is no real title available?) | 1993-06-05 | Paper |
| scientific article; zbMATH DE number 4172365 (Why is no real title available?) | 1990-01-01 | Paper |
Generalized Hyperarithmetic Theory
Proceedings of the London Mathematical Society | 1990-01-01 | Paper |
Inadmissible forcing
Advances in Mathematics | 1987-01-01 | Paper |
The limits of E-recursive enumerability
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3930980 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3981159 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3896909 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3735794 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3739516 (Why is no real title available?) | 1980-01-01 | Paper |
Effective bounds on Morley rank
Fundamenta Mathematicae | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3585409 (Why is no real title available?) | 1977-01-01 | Paper |
The K-Section of a Type n Object
American Journal of Mathematics | 1977-01-01 | Paper |
Inadmissible recursion theory
Bulletin of the American Mathematical Society | 1977-01-01 | Paper |
Countable admissible ordinals and hyperdegrees
Advances in Mathematics | 1976-01-01 | Paper |
Uncountable Gandy Ordinals
Journal of the London Mathematical Society | 1976-01-01 | Paper |
Remarks against foundational activity
Historia Mathematica | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3450181 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3382339 (Why is no real title available?) | 1972-01-01 | Paper |
The α-finite injury method
Annals of Mathematical Logic | 1972-01-01 | Paper |
Some minimal pairs of α-recursively enumerable degrees
Annals of Mathematical Logic | 1972-01-01 | Paper |
The differential closure of a differential field
Bulletin of the American Mathematical Society | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3358471 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3467062 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3358464 (Why is no real title available?) | 1971-01-01 | Paper |
On the reducibility of \(\Pi_ 1^ 1\) sets
Advances in Mathematics | 1971-01-01 | Paper |
| Measure-Theoretic Uniformity in Recursion Theory and Set Theory | 1969-01-01 | Paper |
Measure-Theoretic Uniformity
Foundations of Mathematics | 1969-01-01 | Paper |
| On a Theorem of Lachlan and Martin | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3301421 (Why is no real title available?) | 1967-01-01 | Paper |
A minimal hyperdegree
Fundamenta Mathematicae | 1967-01-01 | Paper |
Measure-theoretic uniformity
Bulletin of the American Mathematical Society | 1967-01-01 | Paper |
Post's Problem, Admissible Ordinals, and Regularity
Transactions of the American Mathematical Society | 1966-01-01 | Paper |
Metarecursively enumerable sets and admissible ordinals
Bulletin of the American Mathematical Society | 1966-01-01 | Paper |
Metarecursive sets
Journal of Symbolic Logic | 1965-01-01 | Paper |
| A Simple Set Which is Not Effectively Simple | 1964-01-01 | Paper |
The recursively enumerable degrees are dense
Annals of Mathematics. Second Series | 1964-01-01 | Paper |
A maximal set which is not complete
Michigan Mathematical Journal | 1964-01-01 | Paper |
| Recursive Enumerability and the Jump Operator | 1963-01-01 | Paper |
| Degrees of Unsolvability. (AM-55) | 1963-01-01 | Paper |
On the degrees less than 0'
Annals of Mathematics. Second Series | 1963-01-01 | Paper |
A minimal degree less than 0’
Bulletin of the American Mathematical Society | 1961-01-01 | Paper |
On Suborderings of Degrees of Recursive Unsolvability
Mathematical Logic Quarterly | 1961-01-01 | Paper |
