まとめ
メニューを開く-
今日はクレパ仮説の ZFC からの独立性を勉強するのだ。 -
SH の ZFC からの独立性まではちょっと時間がかかる。でも最近本当に楽しいからゆっくりでも良いのです。
-
強制法についての直観が全然だめなので良い機会です。
-
この場合直感とかくべきなのかな。
-
分からなくなってきた。
-
じつは V=L のとき ω_1 クレパ木が存在する証明は忘れている。困ったもんだ。
-
そっちまでさかのぼると切りがないので、今日は ω_1 クレパ木が存在しないモデルの勉強ということで。
-
さっきの KH の ZFC 空の独立性はうそ。Con(ZF + ¬KH) ⇄ Con(ZF + 到達不可能基数の存在).
-
空 → から
-
その前にレヴィ強制を復習。レヴィ強制は2007年にFさんの講義で知ったのだけれどその後真面目に勉強しなかった。反省しています。
-
ソロヴェイの結果も一度きちんと見直さないと。
-
さすがに疲れがたまってきた。今日はレヴィ崩壊だけで終わっちゃうかも (弱)
-
かがみさんの発言のキーワードをググってもなんもヒットしない。かがみさんに「ググレカス」って言われたらおしまいだw -
. @akachan_ace 質問して頂ければ能力と時間が許す限りなんでも答える方です。ぐぐれなんて言わないから大丈夫です。
-
よくメーリングリストとかで「自分で調べてから投稿しなさい」なんて言う人がいるけど、聞いたほうが早くて正確な場合が多いから別にいいんじゃないかと思う。
-
メーリングリスト奉行。
-
たしかに「レヴィ強制」「レヴィ崩壊」「 レヴィ式潰し半順序」全然ヒットしませんね。
-
Lévy forcing, Lévy collapse だとそれなりヒットする。
-
アクサンはなくても大丈夫。
-
@h_kagami では:-) レヴィ崩壊とは何でしょう・・・？概要だけ。
-
. @akachan_ace 「体」って知っていますか？
-
@h_kagami 遅くなりましたぁ！はいはい、体はわかりますよ！
-
たとえば実数体 R から複素数体 C を「つくる」とき R にどっかから持ってきた i というものを付け加えるという感じになります。ただし i は i^2 = -1 を満たすということで。これを C=R[i] という記法で書きます。
-
. @akachan_ace ところがこの i というのは本当にあるのかという疑問が生じる場合があることは容易に想像できます。
-
Content from Twitter
コメント