[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 26 (1002ﾚｽ)
上下前次1-新

---

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

---

880: 2018/05/02(水)20:45 ID:1tlEMDgY(7/22) AA×
>>869


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
880: [] 2018/05/02(水) 20:45:46.95 ID:1tlEMDgY そこまでやってるなら>>869の問題は大体わかっているのでは？ IUTTが意味論的に可能かどうかは「特定の環論での対象を抽象化できるか」どうかによる FrobenioidとAnabelioidでは既にその設定を行っているし モデル理論的な意味での意味論つまり構造的な条件は問題がない 分解対象としてはスキームがある 更にモノイドがあり、絶対ガロア群かつトポス対象としての基本群があり、抽象位相群がある 全てはその素材で構成されるのだから、理論自体が不可能ということはない http://rio2016.5ch.net/test/read.cgi/math/1523148966/880
そこまでやってるならの問題は大体わかっているのでは？ が意味論的に可能かどうかは特定の環論での対象を抽象化できるかどうかによる とでは既にその設定を行っているし モデル理論的な意味での意味論つまり構造的な条件は問題がない 分解対象としてはスキームがある 更にモノイドがあり絶対ガロア群かつトポス対象としての基本群があり抽象位相群がある 全てはその素材で構成されるのだから理論自体が不可能ということはない

---

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

---

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

---

ぬこの手 ぬこTOP 0.031s