[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）15 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

608(1): 2023/08/17(木)07:14 ID:1XlfUs26(5/60) AAS
The Mathematics of Coordinated Inference　ざっと見たけど
「箱入り無数目」そのものは出てこないね
まあ、Gabay-O'Connorの定理から容易に出てくる系(Corollary)だから
わざわざ載せなかっただけだね

Gabay-O'Connorの定理を認めない（つまり、選択公理を認めない）っていうんなら
そういう態度はありだよ　別に無矛盾らしいから

---

609(3): 2023/08/17(木)07:41 ID:43UpJy3d(1/10) AAS
>>608

>>まあ、Gabay-O'Connorの定理から容易に出てくる系(Corollary)だから

なるほど、ここの議論はどこかの

「系3.12は容易だから」という議論のコピーを意図しているわけだね

---

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

---

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

---

ぬこの手 ぬこTOP 0.049s