[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
570(1): 2024/11/25(月)06:13 ID:X9aIenaL(4/10) AAS
>>562
> Solovay model（ZFCで選択公理を弱い従属選択公理DCに換えたモデル：非可測集合が存在しない）
つまり、Solovay modelではVitali setは集合ではない
これ分かる？
571(1): 2024/11/25(月)06:14 ID:X9aIenaL(5/10) AAS
>>570の都筑
> つまり、選択公理AC → 弱い従属選択公理DC にすると、連続濃度の集合族に対する 選択関数は 構成できない
つまり、Solovay modelでは選択公理ACは成立しない
これ分かる？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s