第5回関西すうがく徒のつどい2日目（講義編） #kansaimath

おきのしま @idl12_okn

弱到達不可能基数←あっ！tosuuでやったところだ！ #kansaimath #kansaimath110

れんま（休職中） @tononro

到達不能基数について。 ja.wikipedia.org/wiki/%E5%88%B0…　#kansaimath #kansaimath110

こばし @n_shin16

alg_d「終わんないっすね」 #kansaimath #kansaimath110

リング @matsumoring

非可算、正則、K<λ⇒2^K<λ ⇔強到達不能基数 #kansaimath #kansaimath110

なれ @nareO7

終わらない #kansaimath 講 演

ぴあのん @piano2683

【定義】 λが弱到達不能基数⇔λが非可算・正則・極限（「κ<λ⇒κ^+<λ」） λが強到達不能基数⇔λが非可算・正則・「κ<λ⇒2^κ<λ」」 ・s.i.c.はw.i.c. #kansaimath #kansaimath110

小泉ふゅーりー @koizumi_fifty

ネットワークをそのまま見るのは難しいのでsuspensionして壊す#kansaimath108

YABAMURO @YABAMULAH

俺たちの旅は終わらない #kansaimath

れんま（休職中） @tononro

ゆにばあぁあああぁす。#kansaimath #kansaimath110

リング @matsumoring

終わらない→グロタンディーク宇宙の話なし #kansaimath #kansaimath110

ぴあのん @piano2683

【定義】 WI⇔w.i.c.が存在 SI⇔s.i.c.が存在 【定理】 ZFC\neg|-WI,SI #kansaimath #kansaimath110

end.K @end313124

Google行列 （時間の無さ）#kansaimath108 #kansaimath

れんま（休職中） @tononro

あと5分。#kansaimath #kansaimath110

リング @matsumoring

Con(ZFC)仮定するとZFCで強到達不能基数の存在を証明できない #kansaimath #kansaimath110

†小野寺小咲† @srb_2

弱到達不可能基数〜 #kansaimath110

リング @matsumoring

間違えた、さっきのは弱 #kansaimath #kansaimath110

なれ @nareO7

締めの定理 #kansaimath

れんま（休職中） @tononro

きもい。(直球)#kansaimath #kansaimath110

おきのしま @idl12_okn

今日だけでぐろたんじぇーくが2回出てきた #kansaimath

れんま（休職中） @tononro

証明できないことが証明できないことを証明する。#kansaimath #kansaimath110

ぴあのん @piano2683

では、ZFC\neg|-￢WIは言えるのか？ 実はこれは、 ZFC\neg|-「2^{\aleph_0}がw.i.c.」 や ZFC\neg|-「2^{\aleph_0}より小さいw.i.c.が存在」 と同値 #kansaimath #kansaimath110

こばし @n_shin16

証明できないことが証明できないことの証明 #証明 #kansaimath #kansaimath110

リング @matsumoring

ZFCで弱到達不能基数の非存在を証明できるとするとZFCで実数の濃度が弱到達不能基数であることを証明できない #kansaimath #kansaimath110

とも @tomo37

証明出来ないことを証明出来ないことを証明するらしい #kansaimath

れんま（休職中） @tononro

シンプルな議論でわかりやすいなぁ。#kansaimath #kansaimath110