[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 44 (1002レス)
Inter-universal geometry と ABC予想 (応援スレ) 44 http://rio2016.5ch.net/test/read.cgi/math/1586655469/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
297: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2020/04/23(木) 23:40:00 ID:/do61ABJ >>294-296 <まとめ> (>>294) >Recall that a (Grothendieck) universe V is a set satisfying the following axioms [cf.[McLn], p. 194]: これは、明らかに (>>295) >圏論 >大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。 (>>296) >グロタンディーク宇宙の2つの簡単な例がある: これは、明らかに、上記IUT IVの”a (Grothendieck) universe V”とは異なる つまり、異なるグロタンディーク宇宙が存在し、IUT IVの”a (Grothendieck) universe V”は、[McLn]を参照していることから 上記 圏論の”大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である”ですね http://rio2016.5ch.net/test/read.cgi/math/1586655469/297
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 705 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.014s