Inter-universal geometry と ABC予想 (応援スレ) 77

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

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

249(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/05(水)10:13 ID:K/Lr81ky(1/12) AAS
>>245 追加
(google検索)：
Colin McLarty,The Large structures of Grothendieck founded on finite-order arithmetic. Rev.Symbol.Logo
＜AI による概要＞
Colin McLarty's paper, "The Large Structures of Grothendieck Founded on Finite-Order Arithmetic," published in the Review of Symbolic Logic in 2020, argues that the complex tools of Grothendieck-style algebraic geometry, such as toposes and derived categories, can be founded on the much weaker system of finite-order arithmetic, rather than the stronger ZFC set theory typically used for such foundations. This research aims to close the foundational gap by showing that these powerful "large structure" tools only require a significantly weaker logical strength to be established, with one specific topos of sets already requiring this level of strength.
・Core argument: McLarty demonstrates that the theorems of Grothendieck's Éléments de géométrie algébrique (EGA) and Séminaire de géométrie algébrique du Bois-Marie (SGA), along with derived categories, can be formally grounded using finite-order arithmetic.
・Weakest possible foundation: The paper establishes that finite-order arithmetic is the weakest possible foundation for these tools because even a single elementary topos of sets with infinity is already this strong.
・Implication for set theory: This finding implies that one does not need the full strength of ZFC, which is stronger than finite-order arithmetic, to prove the consistency of these large structures. The work shows that their foundations can be established with axioms that have the same proof-theoretic strength as finite-order arithmetic, which Zermelo set theory (Z) proves is consistent.
・Practical insight: The work formalizes the practical insight that tools of cohomology, while theoretically requiring large structures, often stay close to arithmetic in their actual application.
・Publication details: The paper was published in the Review of Symbolic Logic (Volume 13, Issue 2, 2020), with the doi: 10.1017/s1755020319000340 and can be found on arXiv as paper 1102.1773.
省2

251: 現代数学の系譜雑談 ◆yH25M02vWFhP 11/05(水)10:22 ID:K/Lr81ky(3/12) AAS
>>249 追加
(google訳)（一部手直し）
＜AI による概要＞
コリン・マクラーティの論文「有限階算術に基づくグロタンディークの大規模構造」は、2020年の記号論理学のレビュー、グロタンディークスタイルの代数幾何学の複雑なツール、例えばトポスや導来カテゴリなどは、そのような基礎付けに通常使用される強力なZFC集合論ではなく、はるかに弱い有限階算術体系の上に成り立つと主張している。この研究は、これらの強力な「大規模構造」ツールが確立されるには、はるかに弱い論理的強度しか必要とせず、特定の集合のトポスがすでにこのレベルの強度を必要としていることを示すことで、基礎的なギャップを埋めることを目指しています。
・中心的な議論:マクラーティは、グロタンディークの幾何学計算手法( EGA ) とボワマリー関数セミネール( SGA ) の定理が、derived categoriesとともに、有限階数の算術を使用して形式的に根拠づけられることを示しています。
・最も弱い基盤:この論文では、無限集合の単一の基本トポスでもすでにこのくらい強力であるため、有限階数算術はこれらのツールにとって最も弱い基盤であるとしています。
・集合論への示唆：この発見は、これらの大規模構造の無矛盾性を証明するために、有限階数算術よりも強いZFCの完全な強さを必要としないことを意味する。本研究は、有限階数算術と同等の証明論的強さを持つ公理によってこれらの構造の基礎を確立できることを示しており、有限階数算術はツェルメロ集合論（Z）によって無矛盾性が証明されている。
・実践的な洞察:この研究は、コホモロジーのツールは理論的には大規模な構造を必要とするものの、実際の応用では算術に近いことが多いという実践的な洞察を形式化しています。
・出版の詳細：この論文はReview of Symbolic Logic（第13巻、第2号、2020年）にdoi：10.1017/s1755020319000340で出版され、arXivでは論文1102.1773として見つけることができます。

252(4): 現代数学の系譜雑談 ◆yH25M02vWFhP 11/05(水)11:01 ID:K/Lr81ky(4/12) AAS
>>249 追加
>Founded on Finite-Order Arithmetic

日本語では有限階算術（あるいは高階算術か）とでもいうのか？
Second-order arithmetic、2階算術は日本語であるようですが

”Finite-Order Arithmetic”は、不勉強で初耳です
英語検索でも、”Finite-Order Arithmetic”はあまりヒットしないす；ｐ）

でも、私は高階論者でして
「人の思考は一階論理に縛られない」と思っています　（＾＾
そういう意味で、

(参考)
省12

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.054s