j_tGAP「巨大基数入門～可測基数を巡って～」

ぴあのん @piano2683

内部モデルに関して補足： 内部モデルとは、すべての順序数を含む推移的なZF(C)のモデル #kansaimath #kansaimath307

y. @waidotto

集合論の光と闇(フロンティア) #kansaimath #kansaimath307

みゅぎゅぐう名誉丼ジラッシーちゃんミ☆ @NARUOHA

I0-I3を作ったときは、 こんなん矛盾するに決まってんだろ！ って思っていたけど気が変わった。 #kansaimath307

ぴあのん @piano2683

Con(ZFC+inaccsible)⇔Con(ZF+DC+LM)の証明には、可測基数の下に到達不能基数があることが本質的に効いてくるが、 より大きな巨大基数に関して議論するには（Scottの結果より）Lでは不十分。 #kansaimath #kansaimath307

ぴあのん @piano2683

例の図に関して雑談 #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

え、Vopenka's Principleやばいですね #kansaimath #kansaimath307

y. @waidotto

Woodinの名前はぜひ覚えて帰ってください #kansaimath #kansaimath307

みゅぎゅぐう名誉丼ジラッシーちゃんミ☆ @NARUOHA

あと2分でよもやま話 #kansaimath307

りとそん @ritosonn

「無数ってどれくらい？」 #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

「Woodinの立てた予想の数は巨大基数の塔のどのあたりか??」ｗｗｗｗｗｗｗｗｗｗｗｗ #kansaimath #kansaimath307

y. @waidotto

「「"無数"の予想」って(巨大基数の表で)どのくらい？」 #kansaimath #kansaimath307

みゅぎゅぐう名誉丼ジラッシーちゃんミ☆ @NARUOHA

woodin shelahは覚えて帰ってください #kansaimath307

V-alg-d（ZZ） @alg_d

Woodin、Shelahは覚えて帰るべき #kansaimath #kansaimath307

y. @waidotto

集合論勉強しましょう #kansaimath #kansaimath307

水槽ゼリー @Jelly_in_a_tank

ゼリーさんは集合論に関してズブの素人なのに楽しかった #kansaimath #kansaimath307