It is shown that ifZF + the axiom of choice + “there is a measurable cardinal” is consistent thenZF + “ω 1 is measurable” is consistent. The corresponding model is a symmetric submodel of the Cohen-type extension which collapses the first measurable cardinal onto ω0.
KeywordsBoolean Algebra Cardinal Number Continuum Hypothesis Measurable Cardinal Converse Inclusion
Unable to display preview. Download preview PDF.
- 1.P. J. Cohen,Set theory and the continuum hypothesis, New York, 1966.Google Scholar
- 2.T. Jech,On models without AC. To appear in the Proceedings of the 1967 Summer Institute on Set Theory in Los Angeles.Google Scholar
- 5.D. Scott and R. Solovay,Boolean-valued people looking at set theory. To appear in the Proceedings of the 1967 Summer Institute on Set Theory in Los Angeles.Google Scholar
- 6.P. Vopěnka,General theory of ∇-models, Math. Univ. Carol.,8 (1967), 145–170.Google Scholar