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
MathSciNet review: 656481
Full-text PDF Free Access

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] Leo Harrington, Analytic determinacy and 0^{♯}, J. Symbolic Logic 43 (1978), no. 4, 685–693. MR 518675, 10.2307/2273508
  • [4] Alexander S. Kechris, 𝐴𝐷 and projective ordinals, Cabal Seminar 76–77 (Proc. Caltech-UCLA Logic Sem., 1976–77) Lecture Notes in Math., vol. 689, Springer, Berlin, 1978, pp. 91–132. MR 526915
  • [5] Kenneth Kunen, Saturated ideals, J. Symbolic Logic 43 (1978), no. 1, 65–76. MR 495118, 10.2307/2271949
  • [6] Yiannis N. Moschovakis, Determinacy and prewellorderings of the continuum, Mathematical Logic and Foundations of Set Theory (Proc. Internat. Colloq., Jerusalem, 1968) North-Holland, Amsterdam, 1970, pp. 24–62. MR 0280362
  • [7] William Mitchell, Hypermeasurable cardinals, Logic Colloquium ’78 (Mons, 1978) Stud. Logic Foundations Math., vol. 97, North-Holland, Amsterdam-New York, 1979, pp. 303–316. MR 567676
  • [8] Robert M. Solovay, The independence of DC from AD, Cabal Seminar 76–77 (Proc. Caltech-UCLA Logic Sem., 1976–77) Lecture Notes in Math., vol. 689, Springer, Berlin, 1978, pp. 171–183. MR 526918
  • [9] Robert Van Wesep, Wadge degrees and descriptive set theory, Cabal Seminar 76–77 (Proc. Caltech-UCLA Logic Sem., 1976–77) Lecture Notes in Math., vol. 689, Springer, Berlin, 1978, pp. 151–170. MR 526917
  • [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