Math 873: Topics in Logic - Forcing

Forcing and the real line

I plan to teach a course on techniques of forcing. Although I
will review the basic facts about forcing, I will assume
students have taken a course which has covered the material of
Chapter 7 of Kunen's book:

Kunen, Kenneth; Set theory. An introduction to independence
proofs. Studies in Logic and the Foundations of Mathematics,
102. North-Holland Publishing Co., Amsterdam-New York, 1980.
xvi+313 pp. ISBN: 0-444-85401-0

Advanced textbooks in this area include:

Bartoszynski, Tomek; Judah, Haim; Set theory. On the structure
of the real line. A K Peters, Ltd., Wellesley, MA, 1995. xii+546
pp. ISBN: 1-56881-044-X

Shelah, Saharon; Proper forcing. Lecture Notes in Mathematics,
940. Springer-Verlag, Berlin-New York, 1982. xxix+496 pp. ISBN:
3-540-11593-5