Abstract
We prove that the Axiom of Full Reflection at a measurable cardinal is equiconsistent with the existence of a measurable cardinal. We generalize the result also to larger cardinals such as strong or supercompact cardinals.
Similar content being viewed by others
References
[J84] T. Jech,Stationary subsets of inaccessible cardinals, Contemporary Mathematics31 (1984), 115–141.
[JS93] T. Jech and S. Shelah,Full reflection of stationary sets at regular cardinals, American Journal of Mathematics115 (1993), 435–453.
[JW93] T. Jech and J. Witzany,Full reflection at a measurable cardinal, Journal of Symbolic Logic, to appear.
[Ka93] A. Kanamori,The Higher Infinite I, II, in preparation.
[W94] J. Witzany,Reflection of stationary sets and the Mitchell ordering of normal measures, PhD. thesis, The Pennsylvania State University, 1994.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gitik, M., Witzany, J. Consistency strength of the axiom of full reflection at large cardinals. Israel J. Math. 93, 113–124 (1996). https://doi.org/10.1007/BF02761096
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02761096