Abstract
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.
Similar content being viewed by others
References
P. J. Cohen,Set theory and the continuum hypothesis, New York, 1966.
T. Jech,On models without AC. To appear in the Proceedings of the 1967 Summer Institute on Set Theory in Los Angeles.
H. J. Keisler and A Tarski,From accessible to incessible cardinals, Fundam. Math.,53, (1964), 225–308.
A. Lévy and R. Solovay,Measurable cardinals and the continuum hypothesis, Israel J. of Math.,5 (1967), 234–248.
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.
P. Vopěnka,General theory of ∇-models, Math. Univ. Carol.,8 (1967), 145–170.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jech, T. ω 1 can be measurable. Israel J. Math. 6, 363–367 (1968). https://doi.org/10.1007/BF02771215
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02771215