[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋7 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
43(2): 2023/04/03(月)16:07 ID:TnwskQjY(1/2) AAS
>>42
game2は選択関数が具体的に構成できる
理解せずにトンチンカンなこと書くと大恥かく
44(1): 2023/04/03(月)16:11 ID:TnwskQjY(2/2) AAS
>>43
ついでに言うとバナッハ・タルスキの定理の
双曲平面版も選択関数が具体的に構成できる
45(2): 2023/04/03(月)20:58 ID:xqHDPLqW(3/5) AAS
>>43-44
有名なソロベイ（Solovay）の理論（下記）で、選択公理を弱くすると、非可測集合が構成できなくなるという
つまり>>42で言っていることは、時枝記事不成立の理由には、「非可測集合だから」は使えないってこと
（可算選択公理だけしか使わない Sergiu Hart氏のgame2が存在することによる）
従って、時枝記事不成立の主張には、「非可測集合だから」以外の理由を必要とするってことを>>42で言っているのです
外部ﾘﾝｸ[pdf]:math.cs.kitami-it.ac.jp
非可測集合は存在するのか？
省21
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s