2012年07月25日のツイート
@kururu_goedel: @kagami_hr それこそ集合論の知識がないと理解できないからでは?宣伝不足もあると思います。ゲーデルのプログラムからWoodin基数が紹介されるくらいで、定義もつけて面白味を表現しているような文章はあまりないのではないかと。
2012-07-25 14:55:32 via TweetDeck to @kagami_hr
@kururu_goedel: URL Foreman-Magidor-Shelah読んだので感想を!まず目を奪われちゃったね…超コンパクト基数からstationary preservingな強制法概念がどんどん…あ、これ以上は書けないや★日記で超強力なカワイイ定理が手に入るよ