[過去ログ] 現代数学の系譜 カントル 超限集合論他 3 (548レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
530
(1): 2021/12/08(水)13:54 ID:tPmP8J4x(2/2) AAS
>>529

つづき

外部リンク:ja.wikipedia.org
最小の非可算順序数(英: First uncountable ordinal)ω1の存在は、選択公理によらずに示すことができる(ハルトークス数を参照)。ω1は極限順序数で、すべての可算な順序数を含む非可算集合である。ときに Ω とも表記される。その濃度は最小の非可算基数 アレフ1 に等しい。

外部リンク:ja.wikipedia.org
到達不能基数

著者によっては非可算性を要求しないこともある(その場合アレフ0 は強到達不能基数)。弱到達不能基数は Hausdorff (1908)、強到達不能基数は Sierpi?ski & Tarski (1930) および Zermelo (1930) によって導入された。
省5
532: 2021/12/08(水)20:33 ID:p4epif7+(1) AAS
>>529-530
レーヴェンハイム・スコーレム関係なくなったな
やっぱり全然理解できない白痴だったな S ETAは
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.020s