Welcome, Seekers of truth, wisdom, and enlightenment
or in other words, Graduate Students of Math Logic.
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
The following notes will be updated weekly:
forcing.tex ..
forcing.pdf
Here are some electronic versions of papers:
bib