Inter-universal geometry と ABC予想 (応援スレ) 74 (882ﾚｽ)
上下前次1-新

---

801(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:29 ID:JgP2aXhR(12/14) AA×
>>800

外部ﾘﾝｸ:en.wikipedia.org
外部ﾘﾝｸ:ja.wikipedia.org›wiki›
外部ﾘﾝｸ:elecello.com›doc›set›set0005
外部ﾘﾝｸ:fuchino.ddo.jp›books›intro-to-set-theo...

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
801: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/06(土) 21:29:57.39 ID:JgP2aXhR >>800 >V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって >グロタンディーク宇宙の拡大を次々に考えるのが >IUTのミソなのに（らしいよ？）、 >集合じゃなかったら戯言になっちゃうもんな １）”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって” 　は、ノイマン宇宙でも同じでは？ 　下記のen.wikipedia Von Neumann universe と 　モストフスキ崩壊補題 ∈-関係と同型 の記事を読んでみて ２）ここらの 望月先生の 用語”宇宙”の用法は、世間とずれている気がする 　が、それは単に日常用語の問題で 　IUTの数学の本質とは別 (参考) https://en.wikipedia.org/wiki/Von_Neumann_universe Von Neumann universe google検索：モストフスキ崩壊補題 ∈-関係と同型 より 下記ご参照 Wikipedia https://ja.wikipedia.org › wiki › モストフスキ崩壊補題 モストフスキ崩壊補題はこのようなRに対して、推移的クラス(真のクラスでもよい)M で(M,∈)と(X, R)が同型となるものが一意的に存在し、その同型対応も一意的であるという ... 集合論ノート 0005 モストフスキ崩壊補題 (Mostowski ... elecello.com https://elecello.com › doc › set › set0005 PDF 2018/02/22 — モストフスキ崩壊補題より，⟨X, <⟩ ∼= ⟨Y, ∈⟩ なるただ一つの推移的集合 Y が取れる． 同型性より Y は ∈ で 整列される． つまり Y は ∈ で整列される推移 ... ゲーデルと 20 世紀の論理学 第4巻 DDO! JP https://fuchino.ddo.jp › books › intro-to-set-theo... PDF のクラスへの拡張により，(On2,<) のモストフスキ崩壊が存在するが42)，そ. れは推移的なクラスで ∈ で整列されるから，On に他ならない．したがって，. K : (On2,<) → (On, ∈). 129 ページ http://rio2016.5ch.net/test/read.cgi/math/1755784703/801
ってやって グロタンディーク宇宙の拡大を次に考えるのが のミソなのにらしいよ？ 集合じゃなかったら戯言になっちゃうもんな １ ってやって はノイマン宇宙でも同じでは？ 下記の と モストフスキ崩壊補題 関係と同型 の記事を読んでみて ２ここらの 望月先生の 用語宇宙の用法は世間とずれている気がする がそれは単に日常用語の問題で の数学の本質とは別 参考 検索モストフスキ崩壊補題 関係と同型 より 下記ご参照 モストフスキ崩壊補題 モストフスキ崩壊補題はこのようなに対して推移的クラス真のクラスでもよい でと が同型となるものが一意的に存在しその同型対応も一意的であるという 集合論ノート モストフスキ崩壊補題 モストフスキ崩壊補題より なるただ一つの推移的集合 が取れる 同型性より は で 整列される つまり は で整列される推移 ゲーデルと 世紀の論理学 第巻 のクラスへの拡張により のモストフスキ崩壊が存在するがそ れは推移的なクラスで で整列されるから に他ならないしたがって ページ

---

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

---

あと 81 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.047s