On hidden extenders
Logic
2008-02-03 v1
Abstract
A model with a sequence of indiscernibles depending on a particular precovering set is constructed.The initial assumption is as follows: for every n<omega the set {alpha | o(alpha)=alpha^+n } is unbounded in kappa.
Cite
@article{arxiv.math/9311202,
title = {On hidden extenders},
author = {Moti Gitik},
journal= {arXiv preprint arXiv:math/9311202},
year = {2008}
}