| Publication | Date of Publication | Type |
|---|
| Games of countable length | 2021-11-12 | Paper |
Introduction to Q-theory
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
On the theory of Π<sup>1</sup><sub>3</sub> sets of reals, II
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
Π<sup>1</sup><sub>2</sub> monotone inductive definitions
Ordinal Definability and Recursion Theory The Cabal Seminar Volume III | 2020-03-09 | Paper |
| scientific article; zbMATH DE number 6010995 (Why is no real title available?) | 2012-03-02 | Paper |
| Projective sets and cardinal numbers: some questions related to the continuum problem | 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 5521847 (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 |
| The tree of a Moschovakis scale is homogeneous | 2009-03-02 | Paper |
| scientific article; zbMATH DE number 5521860 (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 3839942 (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 3910381 (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 |
The extent of definable scales
Bulletin of the American Mathematical Society | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3779309 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3790422 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3668369 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3704583 (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 |
| Proof of a Conjecture of Friedman | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3542431 (Why is no real title available?) | 1976-01-01 | Paper |
Borel determinacy
Annals of Mathematics. Second Series | 1975-01-01 | Paper |
A note on universal sets for classes of countable <i> G <sub>δ</sub> </i> 'S
Mathematika | 1975-01-01 | Paper |
Axiomatizable theories with few axiomatizable extensions
Journal of Symbolic Logic | 1970-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 |
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 |
On a question of G. E. Sacks
Journal of Symbolic Logic | 1966-01-01 | Paper |
Classes of Recursively Enumerable Sets and Degrees of Unsolvability
Mathematical Logic Quarterly | 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 |
