ダブルサブスクリプトが上手く出ていないのでL_{\omega_1}が見難いですね。なんとかならないのでしょうか？

宿題にしてから５ヶ月くらい経つのでぶっちゃけて書きます。 V=Lを仮定します。このときに、condensation lemmaと呼ばれる以下の事実を認めておきます:「任意の基数κとの初等的部分モデルMに対して、Mの推移崩壊はある順序数γに対しての形になっている」*1。…

この前書いた記事がはてぶで3usersを越えて注目のエントリに入ってとても嬉しかったのは内緒です。また2usersになってしまいましたが。でもまあ、ここはひっそりと集合論のことを書き続けていくべきブログかなと思うので、やはり地道にやっていこうと思いま…