CHANG’S CONJECTURE, GENERIC ELEMENTARY EMBEDDINGS AND INNER MODELS FOR HUGE CARDINALS

Abstract

AbstractWe introduce a natural principleStrong Chang Reflectionstrengthening the classical Chang Conjectures. This principle is between a huge and a two huge cardinal in consistency strength. In this note we prove that it implies the existence of an inner model with a huge cardinal. The technique we explore for building inner models with huge cardinals adapts to show thatdecisiveideals imply the existence of inner models with supercompact cardinals. Proofs for all of these claims can be found in [10].1,2