We investigate the circumstances under which there exist a singular cardinal µ and a short (κ,µ)-extender E witnessing “κ is µ-strong”, such that µ is singular in Ult(V, E).
[1] Cody B., Some Results on Large Cardinals and the Continuum Function, PhD thesis, CUNY Graduate Center, New York, 2012
[2] Friedman S.-D., Honzik R., Easton’s theorem and large cardinals, Ann. Pure Appl. Logic, 2008, 154(3), 191–208 http://dx.doi.org/10.1016/j.apal.2008.02.001
[3] Gitik M., personal communication, 2012
[4] Kanamori A., The Higher Infinite, Perspect. Math. Logic, Springer, Berlin, 1994
[5] Mitchell W.J., Sets constructible from sequences of ultrafilters, J. Symbolic Logic, 1974, 39, 57–66 http://dx.doi.org/10.2307/2272343