| Publication | Date of Publication | Type |
|---|
Recursion theory
Lecture Notes in Logic | 2016-10-21 | Paper |
| Mathematical logic. | 2001-04-26 | Paper |
Recursion theory.
Lecture Notes in Logic | 2001-04-22 | Paper |
Priority constructions
Annals of Pure and Applied Logic | 1997-03-19 | Paper |
The Mathematical Work of S.C.Kleene
The Bulletin of Symbolic Logic | 1995-07-03 | Paper |
| scientific article; zbMATH DE number 478433 (Why is no real title available?) | 1993-12-08 | Paper |
Non-bounding constructions
Annals of Pure and Applied Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 3563068 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3556061 (Why is no real title available?) | 1976-01-01 | Paper |
Degrees of classes of RE sets
Journal of Symbolic Logic | 1976-01-01 | Paper |
Martin's Axiom
The American Mathematical Monthly | 1975-01-01 | Paper |
The decision problem for recursively enumerable degrees
Bulletin of the American Mathematical Society | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3387326 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3387345 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3422370 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3351502 (Why is no real title available?) | 1971-01-01 | Paper |
| A Hierarchy Based on a Type Two Object | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3248792 (Why is no real title available?) | 1967-01-01 | Paper |
A theorem on minimal degrees
Journal of Symbolic Logic | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3304986 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3275577 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3230250 (Why is no real title available?) | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3321269 (Why is no real title available?) | 1962-01-01 | Paper |
Undecidable and creative theories
Fundamenta Mathematicae | 1961-01-01 | Paper |
Number theoretic concepts and recursive well-orderings
Archiv für Mathematische Logik und Grundlagenforschung | 1961-01-01 | Paper |
| An Uncountable Set of Incomparable Degrees | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319536 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319520 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319531 (Why is no real title available?) | 1960-01-01 | Paper |
Degrees of models
Journal of Symbolic Logic | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3285221 (Why is no real title available?) | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3154788 (Why is no real title available?) | 1959-01-01 | Paper |
On degrees of unsolvability
Annals of Mathematics. Second Series | 1959-01-01 | Paper |
Degrees of formal systems
Journal of Symbolic Logic | 1959-01-01 | Paper |
On the Independence of the Axiom of Constructibility
American Journal of Mathematics | 1959-01-01 | Paper |
| The Class of Recursive Functions | 1958-01-01 | Paper |
Open sentences and the induction axiom
Journal of Symbolic Logic | 1958-01-01 | Paper |
| Quasicreative Sets | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3127536 (Why is no real title available?) | 1957-01-01 | Paper |
A relative consistency proof
Journal of Symbolic Logic | 1954-01-01 | Paper |
