疲れたですん><

はーい。
報告。

  • c.c.c.半順序の具体例についていくつか触れました。
  • コーエン実数を加える強制がc.c.c.の例になっていることを確かめました。
  • マーティンの公理について説明しました。

ぐらい。演習のほうは誰もやってきてなかったようなので、ぱぱっと自分が[8]のカントール・ベルンシュタイン・シュレーダーの定理の証明をして終わりました。


ふぃー。。。


まあなー、全部はできんよ。


にゃんにゃんーーー