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

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

250: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/11/05(水) 10:13:53.81 ID:K/Lr81ky

つづき

（追加）>>247より
https://mathoverflow.net/questions/360290/how-strong-a-set-theory-is-necessary-for-practical-purposes-in-sheaf-theory
How strong a set theory is necessary for practical purposes in sheaf theory?
asked May 14, 2020 user158035
Is it known how much of ZFC is actually necessary for the basic, familiar constructions and theorems in sheaf theory, along the lines of section II.1 (and its exercises) in Hartshorne's "Algebraic Geometry" textbook?

1 Answer
Colin McLarty has looked into this
The large structures of Grothendieck founded on finite order arithmetic, Review of Symbolic Logic 13 issue 2 (2020) pp. 296--325, doi:10.1017/S1755020319000340, https://arxiv.org/abs/1102.1773
with abstract (emphasis added):
The large-structure tools of cohomology including toposes and derived categories stay close to arithmetic in practice, yet published foundations for them go beyond ZFC in logical strength. We reduce the gap by founding all the theorems of Grothendieck’s SGA, plus derived categories, at the level of Finite-Order Arithmetic, far below ZFC. This is the weakest possible foundation for the large-structure tools because one elementary topos of sets with infinity is already this strong.
answered May 14, 2020
David Roberts♦
(引用終り)
以上

http://rio2016.5ch.io/test/read.cgi/math/1761878205/250

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

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

ぬこの手ぬこTOP 0.010s