2005-02-16 forcing(4) 読書会 generic extended model M[G]の諸性質について。一時間でレンマと定理一つづつ。ここに来てなかなか進まない。山はもっと先にありますよ。M[G]を作るのに使うvalが何をしているのかについて紛糾中。