ﾚｽ書き込み

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

PC,ｽﾏﾎ,PHSは ULA べっかんこ公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>245
> >>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 ...
> 
> つづく

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

上下板覧索設栞歴

ぬこの手ぬこTOP 0.012s