Borel determinacy DA Martin Annals of Mathematics 102 (2), 363-371, 1975 | 1099 | 1975 |
Internal cohen extensions DA Martin, RM Solovay Annals of Mathematical Logic 2 (2), 143-178, 1970 | 607 | 1970 |
A proof of projective determinacy DA Martin, JR Steel Journal of the American Mathematical Society 2 (1), 71-125, 1989 | 354 | 1989 |
The determinacy of Blackwell games DA Martin The Journal of Symbolic Logic 63 (4), 1565-1581, 1998 | 316 | 1998 |
Classes of recursively enumerable sets and degrees of unsolvability DA Martin Mathematical Logic Quarterly 12 (1), 295-310, 1966 | 286 | 1966 |
Analytic sets CA Rogers (No Title), 1980 | 282 | 1980 |
The axiom of determinateness and reduction principles in the analytical hierarchy DA Martin | 170 | 1968 |
Iteration trees DA Martin, JR Steel Journal of the American Mathematical Society 7 (1), 1-73, 1994 | 168 | 1994 |
A purely inductive proof of Borel determinacy DA Martin Recursion theory (Ithaca, NY, 1982) 42, 303-308, 1985 | 147 | 1985 |
On Cardinal Invariants of the Continuum. Axiomatic Set Theory S Shelah, DA Martin, J Baumgartner | 131 | 2005 |
Definable functions on degrees TA Slaman, JR Steel Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–85, 37-55, 2006 | 126 | 2006 |
The degrees of hyperimmune sets W Miller, DA Martin Mathematical Logic Quarterly 14 (7‐12), 159-166, 1968 | 116 | 1968 |
A basis theorem for∑ 1 3 sets of reals DA Martin, RM Solovay Annals of Mathematics 89 (1), 138-159, 1969 | 111 | 1969 |
Multiple universes of sets and indeterminate truth values DA Martin Topoi 20 (1), 5-16, 2001 | 77 | 2001 |
Projective determinacy DA Martin, JR Steel Proceedings of the National Academy of Sciences 85 (18), 6582-6586, 1988 | 74 | 1988 |
Cabal Seminar 77-79 AS Kechris, DA Martin, YN Moschovakis Springer Berlin Heidelberg, 1981 | 73* | 1981 |
Infinite games and effective descriptive set theory DA Martin Analytic sets, 1980 | 66 | 1980 |
Hilbert’s first problem: the continuum hypothesis DA Martin Proceedings of symposia in pure mathematics 28, 81-92, 1976 | 65 | 1976 |
Gödel's conceptual realism DA Martin Bulletin of Symbolic Logic 11 (2), 207-224, 2005 | 62 | 2005 |
Mathematical evidence DA Martin, HG Dales, G Oliveri Truth in mathematics, 215-231, 1998 | 62 | 1998 |