Skip to main content
Log in

ω 1 can be measurable

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. P. J. Cohen,Set theory and the continuum hypothesis, New York, 1966.

  2. T. Jech,On models without AC. To appear in the Proceedings of the 1967 Summer Institute on Set Theory in Los Angeles.

  3. H. J. Keisler and A Tarski,From accessible to incessible cardinals, Fundam. Math.,53, (1964), 225–308.

    MathSciNet  Google Scholar 

  4. A. Lévy and R. Solovay,Measurable cardinals and the continuum hypothesis, Israel J. of Math.,5 (1967), 234–248.

    MATH  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.

  6. P. Vopěnka,General theory of ∇-models, Math. Univ. Carol.,8 (1967), 145–170.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02771215

Keywords

Navigation