スレじゃないって。 Kunenを最初に読んだときに、Aronszajn treeはSuslin treeの前段階だと思ってしまい、その後Aronszajn treeの深さに気づくまでに恐ろしく時間がかかったので、罪悪感がある 実数の非可算部分順序ももも埋め込めない非可算順序をZFC上で作…

もうそろそろ二階から怒号が飛んできそうなので電源切って寝ます。おやすみなさい。

あー、書きあがったら皆さんに配るとか言っておいて、提出してから2ヶ月くらい何もしてないです。ごめんなさい。妄想垂れ流している暇があったらそういうまともなことしてください。

発表しようとするネタの心配になる部分を色々考えていたら、結局一番直感的な方法ですんなり上手くいくことがわかって、それ自体は嬉しいのだけれども、筋があまりにも素直すぎて一番苦労した点には全然触れられなくなりそうな予感。いいけど。っていうか、…

えーと、すっかりtwitterの手軽さにやられてこっちの更新がさらにおろそかになっていますが、私のTL上で数週間前に流れていた話題から派生して悶々と妄想していたことを書き出してみます。そうするとまたkinabaさんとかが面白く解釈してくれるかもしれないの…