1. Menas' result is best possible;Apter;Trans. Am. Math. Soc.,1997
2. On the strong equality between supercompactness and strong compactness;Apter;Trans. Am. Math. Soc.,1997
3. A model in which GCH holds at successors but fails at limits;Cummings;Trans. Am. Math. Soc.,1992
4. Strong ultrapowers and long core models;Cummings;J. Symb. Log.,1993
5. Iterated forcing and elementary embeddings;Cummings,2010