1. Embedding theorems for Boolean algebras;Balcar;J. Symbolic Logic,1977
2. Some applications of the Jensen's coding theorem;David;Ann. Math. Logic,1982
3. Intermediate submodels and generic extensions in set theory;Grigorieff;Ann. of Math.,1974
4. L. Harrington, Unpublished notes.