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

---

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

---

257(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/05(水)11:40 ID:K/Lr81ky(7/12) AAS
つづき

7. A proof of Fermat’s Last Theorem in PA?
We have founded the whole SGA for arbitrary sites, while individual proofs in number theory use only low degree cohomology of sites close to arithmetic.
Detailed bounds may suffice to get existing proofs into n-order arithmetic for relatively low n, as in Section 3.8.4. That might be a good context for such hard logical analysis as Macintyre (2011) begins for FLT.
More work might bound the constructions within a conservative extension of PA (Takeuti, 1978) to show some existing proof of FLT works essentially in PA.
It might help further reduce the proof to Exponential Function Arithmetic (EFA) as conjectured in (Friedman, 2010).
Such estimates are likely to be difficult.
This is no logical end run around serious arithmetic.
Not motivated by concern with logic, Kisin (2009b) extends and simplifies (Wiles, 1995), generally using geometry less than commutative algebra, visibly reducing the demands on set theory. And Kisin (2009a) completes a different proof of FLT by a strategy of Serre advanced by Khare and Wintenberger.

References
省3

---

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

---

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

---

ぬこの手 ぬこTOP 1.049s*