2012-06-05から1日間の記事一覧

疲れたですん><

はーい。 報告。 c.c.c.半順序の具体例についていくつか触れました。 コーエン実数を加える強制がc.c.c.の例になっていることを確かめました。 マーティンの公理について説明しました。 ぐらい。演習のほうは誰もやってきてなかったようなので、ぱぱっと自分…