続きです。 特異基数のべきを調べるにはどうしたらいいんだ！って話でした。 これを知るために次の言葉を定義します。 定義(gimel関数) 上の関数をgimel関数という。 ちなみにgimelというのはヘブライ文字の3番目のです。 これに関して次の定理が知られてい…

定義が色々あるから明記すべきという意見を頂いたのでまとめて順序数と基数についてまとめて書きます。 これは全部ZFC上での定義です。 定義(順序数) かつを満足する集合を順序数という. 1つ目の条件をconnective、2つ目の条件をtransitiveという。 例 は順…

せっかくtexを使えることが判明したので数学の話を書きます。 めっちゃ長くなっちゃったので分割して投稿しよう。 (追記)ZFCの無矛盾性は仮定します (追記2,2016/10/26)各定義をまとめました 順序数と基数の話 - 尊みで飯が食える 特異基数問題と呼ばれるも…

こんなブログ作った事を忘れてた。 tex使えるらしいから試してみる。 出来た。けどなんか不等号が打てない。<の何が悪いというのか... (追記) 調べたら\ltにしたらできるよとのことだったのでやってみたらできた。やったー。