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

ぴあのん @piano2683

（Keisler-Tarski）Uに正規性を課すと、{α<κ ; αは到達不能基数}∈U #kansaimath #kansaimath307

y. @waidotto

可測基数κはκ番目の到達不能基数．よって最小の可測基数は最小の到達不能基数より真に大きい． #kansaimath #kansaimath307

ぴあのん @piano2683

「最小の可測基数は最小の到達不能基数より真に大きいか」という30年間解かれていなかった問題が、ultrapwerを使って解かれた #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

本当のメイン #kansaimath #kansaimath307

れんま（休職中） @tononro

最小の可測基数は最小の到達不能基数より真に大きい。#kansaimath #kansaimath307

ぴあのん @piano2683

巨大基数の大きさ：「BよりAが大きい」を無矛盾性を使って定義される #kansaimath #kansaimath307

りとそん @ritosonn

Woodinという人が強い #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

Woodin強い(Woodinという人が強い) #kansaimath #kansaimath307

れんま（休職中） @tononro

公理系の無矛盾性を巨大基数の大小比較の道具にするのか。#kansaimath #kansaimath307

りとそん @ritosonn

0=1最強 #kansaimath #kansaimath307

ぴあのん @piano2683

nLabからとってきた“例の図” ncatlab.org/nlab/show/larg… #kansaimath #kansaimath307

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

strong 強そう 次も強そう。これはWoodinという人が強い #kansaimath307

V-alg-d（ZZ） @alg_d

0=1、最強 #kansaimath #kansaimath307

y. @waidotto

巨大基数AがBよりも「大きい」⟺AはBでもあるorCon(ZFC+Aが存在)⟹Con(ZFC+Bが存在) #kansaimath #kansaimath307

ホテルバルティック（クローン）@築29年 @noan6251

0=1は最強 #kansaimath #kansaimath307

doomedneet @doomedneet

0=1が最強 #kansaimath307

kix'clichè (バークリウム) @bakuriumu

0=1を仮定すればリーマン予想も解ける #kansaimath307

V-alg-d（ZZ） @alg_d

公理追加! #kansaimath #kansaimath307

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

0=1からリーマン予想が解ける #kansaimath307

V-alg-d（ZZ） @alg_d

AD、強い #kansaimath #kansaimath307

V-alg-d（ZZ） @alg_d

ものさ氏～～～～～～ #kansaimath #kansaimath307

りとそん @ritosonn

つよい、ということしか頭に入ってこない #kansaimath #kansaimath307

ぴあのん @piano2683

ある公理Sを追加したときにその無矛盾性の強さを測る指標として、 Sと「ZFC+Aが存在」が無矛盾等価になる巨大基数Aを探す問題を考えることができる #kansaimath #kansaimath307

ぴあのん @piano2683

つまり、巨大基数は無矛盾性の物差しになる #kansaimath #kansaimath307

ぴあのん @piano2683

っょぃ基数の紹介 #kansaimath #kansaimath307