1. Adding a closed unbounded set;Baumgartner;J. Symbolic Logic,1976
2. The Core Model;Dodd,1982
3. The covering lemma for L[U];Dodd;Ann. Math. Logic,1982
4. The strength of the failure of SCH;Gitik;Ann. Pure Appl. Logic,1991
5. Iterated forcing from strategic point of view;Gray;Ph.D. thesis,1982