[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
245(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/04(火)23:22 ID:yzUd5nV9(7/9) AAS
>>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
外部ﾘﾝｸ: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
外部ﾘﾝｸ: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
外部ﾘﾝｸ: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
外部ﾘﾝｸ: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
外部ﾘﾝｸ: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 ...
つづく
上下前次1-新書関写板覧索設栞歴
あと 757 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s