On hidden extenders

Abstract.

We prove the following theorem: Suppose that there is a singular $\kappa$ with the set of $\alpha$'s with $o(\alpha)=\alpha^{+n}$ unbounded in it for every $n < \omega$. Then in a generic extesion there are two precovering sets which disagree about common indiscernibles unboundedly often.