[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 44 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
930(2): 2020/05/04(月)07:26 ID:RdXfg+04(1) AAS
>>888 >>908
＞でも別に望月論文の証明とは関係ないですね
Cor3.12は、Theorem 3.11までのIUT幾何（モデル理論をパーツから構築する）と、
その前のIUT I~?での遠アーベルなどの定理/定義の積み上げる構成、を含むことが分る。
これら全ての証明は、原論文が膨大で、長文のサーベイを書く積りがなければ、非現実的だろ~ｗ
DupuyはCor3.12の全証明でなく、どちらかと言うと＞Theorem 3.11のモデル理論の構築、をフォーカスしている気がいる。
例えば4/30のWoitブログで、What Mochizuki does in 3.11.i is a “lift/construct/push”.と、
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s