[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 44 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

297(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/23(木)23:40 ID:/do61ABJ(10/13) AAS
>>294-296 ＜まとめ＞

(>>294)
>Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]:

これは、明らかに
(>>295）
>圏論
>大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
省5

---

298: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/23(木)23:49 ID:/do61ABJ(11/13) AAS
>>297
追加

あと、集合論の「宇宙」（universe）は、下記 Kenneth KUNEN.1980のPDFでもどうぞ
なお、和訳 藤田博司先生の「キューネン数学基礎論講義」を併読すると良いと思う
（藤田博司先生のは、大学図書館などにあるだろう）

外部ﾘﾝｸ[pdf]:blacaman.tripod.com
SET THEORY. An Introduction to Independence Proofs. Kenneth KUNEN.1980
省6

---

301: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/24(金)07:17 ID:9m+2fnQ5(1/12) AAS
>>297　訂正
分かり難いので書き直す
（訂正版）
>>294-296 ＜まとめ＞

(>>294)
>Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]:

下記の「グロタンディーク宇宙」は、明らかに 上記” (Grothendieck) universe V”と同じ
省9

---

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

---

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

---

ぬこの手 ぬこTOP 0.029s