On hidden extenders (Q1354352): Difference between revisions

The author proves the following: let \(\kappa\) be a singular cardinal such that \(\{\alpha < \kappa : o(\alpha) = \alpha^{+n} \}\) is unbounded in \(\kappa\) for every \(n < \omega\). Then in a generic extension there are two precovering sets which disagree about common indiscernibles unboundedly often. By a precovering set is meant an elementary submodel \(X\) of a large enough portion of the universe such that \(X\) is closed under \(\omega\)-sequences, \(\kappa \in X\), \(|X|< \kappa\), and \(\sup(X \cap \kappa) = \kappa\). \(C^X\) is the set of Mitchell indiscernibles. The author produces a generic extension in which there are precovering sets \(X_1\) and \(X_2\) with \(C^{X_1}\) and \(C^{X_2}\) different at unboundedly many places below \(\kappa\).