| Publication | Date of Publication | Type |
|---|
| Games of countable length | 2021-11-12 | Paper |
| Π12 monotone inductive definitions | 2020-03-09 | Paper |
| Introduction to Q-theory | 2020-03-09 | Paper |
| On the theory of Π13 sets of reals, II | 2020-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118358 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3118349 | 2012-03-02 | Paper |
| FIELD’S SAVING TRUTH FROM PARADOX: SOME THINGS IT DOESN’T DO | 2011-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3079630 | 2011-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607624 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607628 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3611514 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3611513 | 2009-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3607625 | 2009-03-02 | Paper |
| Gödel's Conceptual Realism | 2006-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5696812 | 2005-10-19 | Paper |
| The Strength of Blackwell determinacy | 2005-02-09 | Paper |
| Borel–Wadge degrees | 2003-09-10 | Paper |
| Multiple universes of sets and indeterminate truth values | 2002-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247032 | 2000-05-17 | Paper |
| The determinacy of Blackwell games | 1999-11-29 | Paper |
| Iteration Trees | 1995-03-15 | Paper |
| An extension of Borel determinacy | 1990-01-01 | Paper |
| A Proof of Projective Determinacy | 1989-01-01 | Paper |
| Projective determinacy | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4722064 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3688382 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310607 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310609 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3705445 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310606 | 1983-01-01 | Paper |
| The extent of definable scales | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3967533 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3958450 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3897052 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3865884 | 1980-01-01 | Paper |
| On the ultrafilter of closed, unbounded sets | 1979-01-01 | Paper |
| On the theory of Π₃¹ sets of reals | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4117833 | 1976-01-01 | Paper |
| Proof of a Conjecture of Friedman | 1976-01-01 | Paper |
| Borel determinacy | 1975-01-01 | Paper |
| A note on universal sets for classes of countable G δ 'S | 1975-01-01 | Paper |
| Measurable cardinals and analytic games | 1970-01-01 | Paper |
| Internal cohen extensions | 1970-01-01 | Paper |
| Axiomatizable theories with few axiomatizable extensions | 1970-01-01 | Paper |
| A basis theorem for \(\sum^ 1_ 3\) sets of reals | 1969-01-01 | Paper |
| The axiom of determinateness and reduction principles in the analytical hierarchy | 1968-01-01 | Paper |
| The Degrees of Hyperimmune Sets | 1968-01-01 | Paper |
| Classes of Recursively Enumerable Sets and Degrees of Unsolvability | 1966-01-01 | Paper |
| On a question of G. E. Sacks | 1966-01-01 | Paper |
| Completeness, the Recursion Theorem, and Effectively Simple Sets | 1966-01-01 | Paper |
| A theorem on hyperhypersimple sets | 1964-01-01 | Paper |
