[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
58: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/02(日)21:18 ID:PmfdHnoP(9/9) AAS
>>52 補足
(引用開始)
纏めると
1)フルパワー選択公理を認めると、ルベーグ非可測な実数集合 Vitali set
の存在ができる
2)一方
到達不可能な基数の存在を仮定して、
フルパワー選択公理→DC 従属選択公理 に弱めると
”任意の実数の部分集合が 可測である Solovay model”の存在が証明できる
(当然ながら、従属選択公理では 非可測集合の存在は 証明できない)
省18
上下前次1-新書関写板覧索設栞歴
あと 944 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.010s