Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Two consequences of determinacy consistent with choice


Authors: John R. Steel and Robert Van Wesep
Journal: Trans. Amer. Math. Soc. 272 (1982), 67-85
MSC: Primary 03E35; Secondary 03E60
DOI: https://doi.org/10.1090/S0002-9947-1982-0656481-5
MathSciNet review: 656481
Full-text PDF

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 [Enhancements On Off] (What's this?)

  • [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.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 03E35, 03E60

Retrieve articles in all journals with MSC: 03E35, 03E60


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1982-0656481-5
Article copyright: © Copyright 1982 American Mathematical Society

American Mathematical Society