forcing(1)

私が作ったレジュメでやるので、読書会とは言わないかもしれないが。むしろ発表会。聴衆はみんな自分より年齢も高く、数学・論理学歴も長かったような。激しくつっこまれつつ、証明につまりつつ、何とか進む。それにしてもレジュメに間違いが多すぎ。

本日は絶対性の概念を導入。forcingの本体はまだ遠く。思っていたよりもずっと進んでしまった。二回分くらい作ったと思っていたのに。来週が大変そう。