[過去ログ] 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