1. Totally non-proper ordinals;Dimonte;Archive for Mathematical Logic,2011
2. Coding lemmata in L(Vλ+1);Kafkoulis;Archive for Mathematical Logic,2004
3. The Higher Infinite;Kanamori,1994
4. Elementary embeddings and infinite combinatorics;Kunen;Journal of Symbolic Logic,1971
5. Reflection of elementary embedding axioms on the L(Vλ+1) hierarchy;Laver;Annals of Pure and Applied Logic,2001