1. The domestic levels of Kc are iterable;Andretta;Israel J. Math.,2001
2. Stacking mice;Jensen;J. Symbolic Logic,2009
3. The extent of scales in L(R);Martin,1983
4. Fine Structure and Iteration Trees;Mitchell,1994
5. Toward AD(R) from the continuum hypothesis and an omega(1)-dense ideal;O'Neal Ketchersid,2000