2019-12-09から1日間の記事一覧
こんにちは。ウッ鵜です。Mathematical Logic Advent Calendar 2019( https://adventar.org/calendars/4015) 12月9日の記事です。 今回は射影順序数の基本的なことを書きました。 決定性公理があるとZFCでは巨大基数となり得ない基数が巨大基数となります。…
こんにちは。ウッ鵜です。Mathematical Logic Advent Calendar 2019( https://adventar.org/calendars/4015) 12月9日の記事です。 今回は射影順序数の基本的なことを書きました。 決定性公理があるとZFCでは巨大基数となり得ない基数が巨大基数となります。…