Transactions of the American Mathematical Society

			Journals Home Search Author Info Subscribe Tech Support My Subscriptions Help
ISSN 1088-6850(e) ISSN 0002-9947(p)

Two consequences of determinacy consistent with choice

Author(s): John R. Steel; Robert Van Wesep
Journal: Trans. Amer. Math. Soc. 272 (1982), 67-85.
MSC: Primary 03E35; Secondary 03E60
MathSciNet review: 656481
Retrieve article in: PDF
This article is available free of charge

Abstract | References | Similar articles | Additional information

Abstract: We begin with a ground model satisfying ${\text{ZF}} + {\text{AD}} + {\text{A}}{{\text{C}}_{\mathbf{R}}}$ , and from it construct a generic extension satisfying ${\text{ZFC}} + {\mathbf{\delta }}_2^1 = {\omega _2} +$ "the nonstationary ideal on ${\omega _1}$ is ${\omega _2}$ -saturated".

References:

[1]: C. A. DiPrisco and J. Henle, On the compactness of ${\aleph _1}$ and ${\aleph _2}$ , J. Symbolic Logic 43 (1978), 394-402.
[2]: L. Harrington, Ph.D. thesis, M.I.T., 1973.
[3]: -, Analytic determinacy and ${0^\char93 }$ , J. Symbolic Logic 43 (1978), 685-694. MR 518675 (80b:03065)
[4]: A. S. Kechris, AD and projective ordinals, Cabal Seminar 76-77, Lecture Notes in Math., vol. 689, Springer-Verlag, Berlin and New York, 1970, pp. 91-133. MR 526915 (80j:03069)
[5]: K. Kunen, Saturated ideals, J. Symbolic Logic 43 (1978), 65-77. MR 495118 (80a:03068)
[6]: Y. N. Moschovakis, Determinacy and prewellorderings of the continuum, Mathematical Logic and Foundations of Set Theory, (Y. Bar-Hillel, editor), North-Holland, Amsterdam and London, 1970, pp. 24-62. MR 0280362 (43:6082)
[7]: W. Mitchell, Hypermeasurable cardinals (to appear). MR 567676 (82j:03067)
[8]: R. Solovay, The independence of DC from AD, Cabal Seminar 76-77, Lecture Notes in Math., vol. 689, Springer-Verlag, Berlin and New York, 1970, pp. 171-185. MR 526918 (80e:03065)
[9]: R. Van Wesep, Wadge degrees and descriptive set theory, Cabal Seminar 76-77, Lecture Notes in Math., vol. 689, Springer-Verlag, Berlin and New York, 1970, pp. 151-171. MR 526917 (80i:03058)
[10]: H. Woodin, Ph.D. thesis, Univ. of California, Berkeley, 1980.

	Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
\|