Donald A. Martin and John R. Steel. Projective determinacy. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 , pp. 6582–6586. - W. Hugh Woodin. Supercompact cardinals, sets of reals, and weakly homogeneous trees. Proceedings of the National Academy of Sciences of the United States of America, vol. 85 , pp. 6587–6591. - Donald A. Martin and John R. Steel. A proof of projective determinacy. Journal of the American Mathematical Society, vol. 2 , pp. 71–125 [Book Review]

Journal of Symbolic Logic 57 (3):1132-1136 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275454

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Donald A. Martin, John R. Steel, Projective Determinacy; W. Hugh Woodin, Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees; Donald A. Martin, John R. Steel, A Proof of Projective Determinacy. [REVIEW]Matthew D. Foreman - 1992 - Journal of Symbolic Logic 57 (3):1132-1136.
Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem.Peter Koepke - 1998 - Journal of Symbolic Logic 63 (3):1137-1176.
The consistency strength of projective absoluteness.Kai Hauser - 1995 - Annals of Pure and Applied Logic 74 (3):245-295.
Wang Hao. On Zermelo's and von Neumann's axioms for set theory. Proceedings of the National Academy of Sciences of the United States of America, vol. 35 , pp. 150–155. [REVIEW]John G. Kemeny - 1950 - Journal of Symbolic Logic 15 (1):70-71.
Sets and singletons.Kai Hauser & W. Hugh Woodin - 1999 - Journal of Symbolic Logic 64 (2):590-616.
Myhill John. The hypothesis that all classes are nameable. Proceedings of the National Academy of Sciences of the United States of America, vol. 38 , pp. 979–981. [REVIEW]Václav Edvard Beneš - 1955 - Journal of Symbolic Logic 20 (1):80-80.
Friedberg R. M.. Two recursively enumerable sets of incomparable degrees of unsolvability . Proceedings of the National Academy of Sciences of the United States of America, vol. 43 , pp. 236–238. [REVIEW]Hartley Rogers - 1958 - Journal of Symbolic Logic 23 (2):225-226.
Michael Morley. On theories categorical in uncountable powers. Proceedings of the National Academy of Sciences of the United States of America, vol. 49 , pp. 213–216. - Michael Morley. Categoricity in power. Transactions of the American Mathematical Society, vol. 114 , pp. 514–538. [REVIEW]G. Fuhrken - 1966 - Journal of Symbolic Logic 31 (4):646-646.
The Independence of the Continuum Hypothesis.Paul J. Cohen - 1963 - Proceedings of the National Academy of Sciences of the United States of America 50 (6):1143--8.
Proceedings of the National Academy of Sciences of the United States of America. [REVIEW]Stan Wagon - 2001 - Bulletin of Symbolic Logic 7 (4):537-538.
Specker Ernst P.. The axiom of choice in Quine's New foundations for mathematical logic. Proceedings of the National Academy of Sciences of the United States of America, vol. 39 , pp. 972–975. [REVIEW]J. Barkley Rosser - 1954 - Journal of Symbolic Logic 19 (2):127-128.
Control of eye movements and spatial attention.T. Moore & M. Fallah - 2001 - Proceedings of the National Academy of Sciences of the United States of America 98 (3):1273-1276.
Wang Hao. The non-finitizability of impredicalive principles. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 , pp. 479–484. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (2):143-144.
Quine W. V.. On the consistency of “New foundations.” Proceedings of the National Academy of Sciences of the United States of America, vol. 37 , pp. 538–540. [REVIEW]Václav Edvard Beneš - 1952 - Journal of Symbolic Logic 17 (3):212-212.
Boone William W.. The word problem. Proceedings of the National Academy of Sciences of the United States of America, vol. 44 no. 10 , pp. 1061–1065. [REVIEW]J. L. Britton - 1962 - Journal of Symbolic Logic 27 (2):241-242.

Analytics

Added to PP
2014-04-05

Downloads
27 (#554,860)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references