Inter-universal geometry と ABC予想 (応援スレ) 74 (892ﾚｽ)
上下前次1-新
801(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/06(土)21:29 ID:JgP2aXhR(12/14) AAS
>>800
>V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって
>グロタンディーク宇宙の拡大を次々に考えるのが
>IUTのミソなのに（らしいよ？）、
>集合じゃなかったら戯言になっちゃうもんな
１）”V_0 ∈ V_1 ∈ V_2 ∈ V_3 ∈・・・ってやって”
は、ノイマン宇宙でも同じでは？
下記のen.wikipedia Von Neumann universe と
モストフスキ崩壊補題 ∈-関係と同型 の記事を読んでみて
２）ここらの 望月先生の 用語”宇宙”の用法は、世間とずれている気がする
が、それは単に日常用語の問題で
IUTの数学の本質とは別
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Von Neumann universe
google検索：モストフスキ崩壊補題 ∈-関係と同型
より 下記ご参照
Wikipedia
外部ﾘﾝｸ:ja.wikipedia.org›wiki›モストフスキ崩壊補題
モストフスキ崩壊補題はこのようなRに対して、推移的クラス(真のクラスでもよい)M で(M,∈)と(X, R)が同型となるものが一意的に存在し、その同型対応も一意的であるという ...
集合論ノート 0005 モストフスキ崩壊補題 (Mostowski ...
elecello.com
外部ﾘﾝｸ:elecello.com›doc›set›set0005
PDF
2018/02/22 — モストフスキ崩壊補題より，⟨X, <⟩ ∼= ⟨Y, ∈⟩ なるただ一つの推移的集合 Y が取れる． 同型性より Y は ∈ で 整列される． つまり Y は ∈ で整列される推移 ...
ゲーデルと 20 世紀の論理学 第4巻
DDO! JP
外部ﾘﾝｸ:fuchino.ddo.jp›books›intro-to-set-theo...
PDF
のクラスへの拡張により，(On2,<) のモストフスキ崩壊が存在するが42)，そ. れは推移的なクラスで ∈ で整列されるから，On に他ならない．したがって，. K : (On2,<) → (On, ∈).
129 ページ
上下前次1-新書関写板覧索設栞歴
あと 91 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s