Mathematical Logic Advent Calendar 2019 12月9日の記事
こんにちは。ウッ鵜です。Mathematical Logic Advent Calendar 2019(
https://adventar.org/calendars/4015) 12月9日の記事です。
今回は射影順序数の基本的なことを書きました。
決定性公理があるとZFCでは巨大基数となり得ない基数が巨大基数となります。さらに強い性質を持つことが言えるのですがそれはまた次回の話....
明日12月10日はXさん(@math_freedom)の担当です!!!!!!!! 楽しみですね!!!!!!!!