Abstract
The equiconsistency of a measurable cardinal with Mitchell order o(κ)=κ++ with a measurable cardinal such that 2κ=κ++ follows from the results by W. Mitchell (1984) [13] and M. Gitik (1989) [7]. These results were later generalized to measurable cardinals with 2κ larger than κ++ (see Gitik, 1993 [8]).In Friedman and Honzik (2008) [5], we formulated and proved Eastonʼs (1970) theorem [4] in a large cardinal setting, using slightly stronger hypotheses than the lower bounds identified by Mitchell and Gitik (we used the assumption that the relevant target model contains H(μ), for a suitable μ, instead of the cardinals with the appropriate Mitchell order).In this paper, we use a new idea which allows us to carry out the constructions in Friedman and Honzik (2008) [5] from the optimal hypotheses. It follows that the lower bounds identified by Mitchell and Gitik are optimal also with regard to the general behavior of the continuum function on regulars in the context of measurable cardinals.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.