Inner model operators and the continuum hypothesis

Becker, Howard

doi:10.1090/S0002-9939-1986-0813824-6

Inner model operators and the continuum hypothesis
HTML articles powered by AMS MathViewer

by Howard Becker PDF

Proc. Amer. Math. Soc. 96 (1986), 126-129 Request permission

Abstract:

Assuming AD, every inner model operator satisfies the continuum hypothesis.

References

Howard Becker, Partially playful universes, Cabal Seminar 76–77 (Proc. Caltech-UCLA Logic Sem., 1976–77) Lecture Notes in Math., vol. 689, Springer, Berlin, 1978, pp. 55–90. MR 526914
A. Dodd and R. Jensen, The core model, Ann. Math. Logic 20 (1981), no. 1, 43–75. MR 611394, DOI 10.1016/0003-4843(81)90011-5
Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
Alexander S. Kechris, Donald A. Martin, and Robert M. Solovay, Introduction to $Q$-theory, Cabal seminar 79–81, Lecture Notes in Math., vol. 1019, Springer, Berlin, 1983, pp. 199–282. MR 730595, DOI 10.1007/BFb0071702
William J. Mitchell, Sets constructible from sequences of ultrafilters, J. Symbolic Logic 39 (1974), 57–66. MR 344123, DOI 10.2307/2272343
Maurice Boffa, Dirk van Dalen, and Kenneth McAloon (eds.), Logic Colloquium ’78, Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland Publishing Co., Amsterdam-New York, 1979. MR 567663
Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 561709
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
John R. Steel, A classification of jump operators, J. Symbolic Logic 47 (1982), no. 2, 347–358. MR 654792, DOI 10.2307/2273146