基于有限阶算术的格罗滕迪克大型结构之奠基
逻辑
2019-08-15 v4
摘要
诸如拓扑斯和导出范畴等上同调的大型结构工具在实践中与算术密切相关，然而其现有基础却超越了强集合论 ZFC。我们将这一实践洞见形式化，在有限阶算术的层面上为 EGA 与 SGA 的定理以及导出范畴建立基础。这是这些工具可能的最弱基础，因为一个包含无穷的集合初等拓扑斯已然具有同等的强度。
引用
@article{arxiv.1102.1773,
title = {The large structures of Grothendieck founded on finite order arithmetic},
author = {Colin McLarty},
journal= {arXiv preprint arXiv:1102.1773},
year = {2019}
}
备注
Adds the optimality observation: this is the weakest possible foundation for these tools. The exposition is clarified, the set theory better motivated, and some proofs made fuller