forcing（6）

実にほぼ3ヶ月ぶりに開催。自分が前に書いたレジュメがあまりよく理解できない。復習から入る。有限部分関数の全体を取ってgeneric extention M[G]を作る例。非可算順序数が可算順序数に化ける。ついでM[G]がZFのモデルであることを示していく。さぁこの先のレジュメを作らなければ。しばらく集合論をやっていなかったので思い出すのに時間がかかる。