1. Iterated ultrapower and Prikry's forcing;Bukovský;Comment. Math. Univ. Carol.,1977
2. Existence of tree representations in L(Vλ+1);Cramer,2016
3. Iterated ultrapowers and Prikry forcing;Dehornoy;Ann. Math. Log.,1978
4. The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings;Kanamori,2009
5. Elementary embeddings and infinitary combinatorics;Kunen;J. Symb. Log.,1971