尊みで飯が食える

twitterアカウントは@mg_toHKRです。萌え4コマまんがと特異基数がテーマのブログです

2016-10-26から1日間の記事一覧

基数のべきを調べたいという話 その2

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

順序数と基数の話

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