Bartoszynski, Tomek; Judah, Haim; Set theory. On the structure of the real line. A K Peters, Ltd., Wellesley, MA, 1995.

Baumgartner, James E.; Laver, Richard; Iterated perfect-set forcing. Ann. Math. Logic 17 (1979), no. 3, 271--288. ... baum.pdf

Baumgartner, James E.; Iterated forcing. Surveys in set theory, 1--59, London Math. Soc. Lecture Note Ser., 87, Cambridge Univ. Press, Cambridge, 1983.

Blass, Andreas; A partition theorem for perfect sets. Proc. Amer. Math. Soc. 82 (1981), no. 2, 271--277. ... blass.pdf

Goldstern, Martin; Johnson, Mark J.; Spinas, Otmar Towers on trees. Proc. Amer. Math. Soc. 122 (1994), no. 2, 557--564. ... goldstern.pdf

Grigorieff, Serge Intermediate submodels and generic extensions in set theory. Ann. Math. (2) 101 (1975), 447--490. ... grigor.pdf

Judah, Haim; Miller, Arnold W.; Shelah, Saharon; Sacks forcing, Laver forcing, and Martin's axiom. Arch. Math. Logic 31 (1992), no. 3, 145--161. ... sacks.pdf

Kechris, Alexander S.; Classical descriptive set theory. Graduate Texts in Mathematics, 156. Springer-Verlag, New York, 1995.

Laver, Richard; On the consistency of Borel's conjecture. Acta Math. 137 (1976), no. 3-4, 151--169.

Miller, Arnold W.; There are no $Q$-points in Laver's model for the Borel conjecture. Proc. Amer. Math. Soc. 78 (1980), no. 1, 103--106. ... laver.pdf

Miller, Arnold W.; Rational perfect set forcing. Axiomatic set theory (Boulder, Colo., 1983), 143--159, Contemp. Math., 31, Amer. Math. Soc., Providence, RI, 1984.

Miller, Arnold W.; Descriptive Set Theory and Forcing: How to prove theorems about Borel sets the hard way, Lecture Notes in Logic 4(1995), Springer-Verlag. New edition 4-2001 now published by Association for Symbolic Logic.... dstfor.pdf

Miller, Arnold W.; Ultrafilters with property (s), ultra-s.pdf

Miller, Arnold W.; The gamma-Borel confecture, gammabc.pdf

Mycielski, Jan; Independent sets in topological algebras. Fund. Math. 55 1964 139--147. ... myciel.pdf

Namba, Kanji; Independence proof of $(\omega ,\,\omega \sb{1})-{\rm WDL}$ from $(\omega ,\,\omega )-{\rm WDL}$. Comment. Math. Univ. St. Paul. 21 (1972/73), no. 2, 47--53.

Namba, Kanji; $(\omega \sb{1},\,2)$-distributive law and perfect sets in generalized Baire space. Comment. Math. Univ. St. Paul. 20 (1971/72), 107--126.

Namba, Kanji; Independence proof of $(\omega ,\,\omega \sb{\alpha })$-distributive law in complete Boolean algebras. Comment. Math. Univ. St. Paul. 19 (1971), 1--12.

Sacks, Gerald E. Forcing with perfect closed sets. 1971 Axiomatic Set Theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967) pp. 331--355 Amer. Math. Soc., Providence, R.I.

Simon, Petr; Sacks forcing collapses $\germ c$ to $\germ b$. (English. English summary) Comment. Math. Univ. Carolin. 34 (1993), no. 4, 707--710. ... simon.ps

Solovay, Robert M. A model of set-theory in which every set of reals is Lebesgue measurable. Ann. of Math. (2) 92 1970 1--56. ... solovay.pdf

Truss, John; Sets having calibre aleph_1; Logic Colloquium 76 (Oxford, 1976), pp. 595--612. Studies in Logic and Found. Math., Vol. 87,