The seminar studies this semester the following paper:
Dana Scott,
A proof of the independence of the continuum
hypothesis,
Mathematical Systems Theory, 1, (1967), pp.89-111.
Notes:
for p.96:
Completeness of the Boolean algebra A/[P=0]
for p.98:
Witnessing existential number quantifiers (Exer.2)
for p.105:
The B-validity of the hypothesis in the CO axiom
for p.108 (top line):
Function \chi is correctly defined
for p.108: From Boolean values to Cohen's forcing
for p.110:
From a Boolean valued model to an ordinary
model
Further reading (texts on forcing for beginners):
for p.110: Chow' s text on constructing
a model for full set theory
Baumartner's text (Sec.4 gives an axiomatic treatment of forcing
)