| Publication | Date of Publication | Type |
|---|
| Games of countable length | 2021-11-12 | Paper |
Π12 monotone inductive definitions Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
Introduction to Q-theory Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
On the theory of Π13 sets of reals, II Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
| Projective sets and cardinal numbers: some questions related to the continuum problem | 2012-03-02 | Paper |
| scientific article; zbMATH DE number 6010995 (Why is no real title available?) | 2012-03-02 | Paper |
Field's \textit{Saving truth from paradox}: some things it doesn't do The Review of Symbolic Logic | 2011-11-14 | Paper |
| scientific article; zbMATH DE number 5859787 (Why is no real title available?) | 2011-03-02 | Paper |
| scientific article; zbMATH DE number 5521846 (Why is no real title available?) | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521850 (Why is no real title available?) | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521860 (Why is no real title available?) | 2009-03-02 | Paper |
| The tree of a Moschovakis scale is homogeneous | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521847 (Why is no real title available?) | 2009-03-02 | Paper |
Gödel's Conceptual Realism The Bulletin of Symbolic Logic | 2006-02-08 | Paper |
| scientific article; zbMATH DE number 2216133 (Why is no real title available?) | 2005-10-19 | Paper |
The Strength of Blackwell determinacy Journal of Symbolic Logic | 2005-02-09 | Paper |
Borel–Wadge degrees Fundamenta Mathematicae | 2003-09-10 | Paper |
Multiple universes of sets and indeterminate truth values Topoi | 2002-06-02 | Paper |
| scientific article; zbMATH DE number 1301814 (Why is no real title available?) | 2000-05-17 | Paper |
The determinacy of Blackwell games Journal of Symbolic Logic | 1999-11-29 | Paper |
| Iteration Trees | 1995-03-15 | Paper |
An extension of Borel determinacy Annals of Pure and Applied Logic | 1990-01-01 | Paper |
| A Proof of Projective Determinacy | 1989-01-01 | Paper |
Projective determinacy Proceedings of the National Academy of Sciences | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3993574 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3910381 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839943 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839945 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3930999 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3839942 (Why is no real title available?) | 1983-01-01 | Paper |
The extent of definable scales Bulletin of the American Mathematical Society | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3790422 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3779309 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3704583 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3668369 (Why is no real title available?) | 1980-01-01 | Paper |
On the ultrafilter of closed, unbounded sets Journal of Symbolic Logic | 1979-01-01 | Paper |
On the theory of Π₃¹ sets of reals Bulletin of the American Mathematical Society | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3542431 (Why is no real title available?) | 1976-01-01 | Paper |
| Proof of a Conjecture of Friedman | 1976-01-01 | Paper |
Borel determinacy Annals of Mathematics. Second Series | 1975-01-01 | Paper |
A note on universal sets for classes of countable G δ 'S Mathematika | 1975-01-01 | Paper |
Measurable cardinals and analytic games Fundamenta Mathematicae | 1970-01-01 | Paper |
Internal cohen extensions Annals of Mathematical Logic | 1970-01-01 | Paper |
Axiomatizable theories with few axiomatizable extensions Journal of Symbolic Logic | 1970-01-01 | Paper |
A basis theorem for \(\sum^ 1_ 3\) sets of reals Annals of Mathematics. Second Series | 1969-01-01 | Paper |
The axiom of determinateness and reduction principles in the analytical hierarchy Bulletin of the American Mathematical Society | 1968-01-01 | Paper |
The Degrees of Hyperimmune Sets Mathematical Logic Quarterly | 1968-01-01 | Paper |
Classes of Recursively Enumerable Sets and Degrees of Unsolvability Mathematical Logic Quarterly | 1966-01-01 | Paper |
On a question of G. E. Sacks Journal of Symbolic Logic | 1966-01-01 | Paper |
| Completeness, the Recursion Theorem, and Effectively Simple Sets | 1966-01-01 | Paper |
A theorem on hyperhypersimple sets Journal of Symbolic Logic | 1964-01-01 | Paper |