2012-06-05 疲れたですん>< 謎の勉強会 はーい。 報告。 c.c.c.半順序の具体例についていくつか触れました。 コーエン実数を加える強制がc.c.c.の例になっていることを確かめました。 マーティンの公理について説明しました。 ぐらい。演習のほうは誰もやってきてなかったようなので、ぱぱっと自分が[8]のカントール・ベルンシュタイン・シュレーダーの定理の証明をして終わりました。 ふぃー。。。 まあなー、全部はできんよ。 にゃんにゃんーーー