1. Menas’ result is best possible;Apter, Arthur W.;Trans. Amer. Math. Soc.,1997
2. Diamond, square, and level by level equivalence;Apter, Arthur W.;Arch. Math. Logic,2005
3. G. Bergman and R. M. Solovay, Generalized Horn sentences and compact cardinals, Abstracts, AMS (1987), 832-04-13.
4. Iterated forcing and elementary embeddings;Cummings, James,2010
5. J. Cummings and W. H. Woodin, Generalised Prikry Forcings. Preprint.