Abstract
We construct a model of ZF in which there is a measurable cardinal but there is no normal ultrafilter over it.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Cummings J.: Iterated forcings and elementary embeddings. In: Foreman, M., Kanamori, A. (eds.) Handbook of Set Theory, pp. 775–884. Springer, Berlin (2010)
Jech T.: Set Theory, 3rd edn. Springer, Berlin (2002)
Jech T.: The Axiom of Choice. Dover Publications, INC., New York (2008)
Spector M.: A measurable cardinal with a nonwellfounded ultrapower. JSL 45(3), 623–628 (1980)
Author information
Authors and Affiliations
Corresponding author
Additional information
We like to thank to Ralf Schindler for asking us the question and to Arthur Apter for providing a related historical information. We are grateful to the referee of the paper for his suggestions and for a comprehensive list of corrections. The work was partly supported by ISF Grant 234/08.
Rights and permissions
About this article
Cite this article
Bilinsky, E., Gitik, M. A model with a measurable which does not carry a normal measure. Arch. Math. Logic 51, 863–876 (2012). https://doi.org/10.1007/s00153-012-0302-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-012-0302-y