>>243 補足
検索してみると (google検索)：
Colin McLarty,The Large structures of Grothendiek founded on finite-order arithmetic. Rev.Symb.Log

で、結果は下記
＜検索結果＞
The large structures of Grothendieck founded on finite ...
arXiv
https://arxiv.org › math
このページを訳す
C McLarty 著 · 2011 · 被引用数: 14 — We formalize the practical insight by founding the theorems of EGA and SGA, plus derived categories, at the level of finite order arithmetic.
含まれない: Rev. ‎Symbol.

the large structures of grothendieck founded on finite order ...
ResearchGate
https://www.researchgate.net › 277...
このページを訳す
2025/08/09 — Abstract. THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE ORDER ARITHMETIC - COLIN MCLARTY. ResearchGate Logo ... large structure ...

Colin Mclarty, The large structures of grothendieck founded ...
PhilPapers
https://philpapers.org › MCLTLS
このページを訳す
C Mclarty 著 · 2020 · 被引用数: 14 — 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 ...
含まれない: Symbol. ‎| 必須にする: Symbol.

the large structures of grothendieck founded on finite-order ...
Semantic Scholar
https://www.semanticscholar.org › ...
このページを訳す
Abstract The large-structure tools of cohomology including toposes and derived categories stay close to arithmetic in practice, yet published foundations ...
含まれない: Rev. ‎Symbol.

Reverse mathematics of (co)homology?
MathOverflow
https://mathoverflow.net › questions
このページを訳す
2010/01/17 — @hm2020: One was published as McLarty, Colin, The large structures of Grothendieck founded on finite-order arithmetic. Rev. Symb. Log. 13 ...
回答 3 件
ベストアンサー:
I don't have Hartshorne, so I can't address the specifics of this case. However, there is ...

つづく