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

---

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

---

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

---

423(1): 08/09(土)11:43 ID:bw4CRSHc(3/6) AAS
>>421
IUT、宇宙（下記）

上記の圏論の宇宙 グロタンディーク宇宙が考えられた時期と平行して
強制法が考えられた
『直観的には、強制法は集合論の宇宙 V をより大きい宇宙 V* に拡大することから成り立っている』(下記)

そして、21世紀のいま、基礎論屋さんは
宇宙といえば、下記強制法の宇宙を連想する
省23

---

438(1): 08/09(土)23:45 ID:bw4CRSHc(6/6) AAS
>>423 追加

・数学宇宙で、有名どころが3つ
　Constructible universe L
　Von Neumann universe V
Grothendieck universe U
・包含関係 L⊂V⊂U があります
　ここで、Grothendieck universe U を
省14

---

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

---

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

---

ぬこの手 ぬこTOP 0.043s