[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

283(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)10:06 ID:0oc9Ztsl(11/28) AAS
>>269

＜補足参考＞

従属選択公理(axiom of dependent choice)は、ADCか
外部ﾘﾝｸ[html]:alg-d.com
従属選択公理について 壱大整域 2013年10月25日
(抜粋)
定義 次の命題を従属選択公理(axiom of dependent choice)という．
省21

---

297: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)15:26 ID:0oc9Ztsl(19/28) AAS
>>294

再度まとめておきます
現代数学の無限の議論で、

１．整列可能定理と関連して、デデキント無限とかの関連で（>>236-238）どこまでの強さの選択公理を採用するか（>>283）の問題がある
　　可算選択公理＜従属選択公理＜選択公理＜連続体仮説
　　ですね。決定性公理は、別の系統なのでしょうね
２．レーヴェンハイム-スコーレムの定理に関連して（>>251-252）
省12

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.071s