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

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

Inter-universal geometry と ABC予想 (応援スレ) 77 - 暇つぶし2ch254:t need the full strength of ZFC, which is stronger than finite-order arithmetic, to prove the consistency of these large structures. The work shows that their foundations can be established with axioms that have the same proof-theoretic strength as finite-order arithmetic, which Zermelo set theory (Z) proves is consistent. ・Practical insight: The work formalizes the practical insight that tools of cohomology, while theoretically requiring large structures, often stay close to arithmetic in their actual application. ・Publication details: The paper was published in the Review of Symbolic Logic (Volume 13, Issue 2, 2020), with the doi: 10.1017/s1755020319000340 and can be found on arXiv as paper 1102.1773. （AI の回答には間違いが含まれている場合があります）つづく

次ページ

続きを表示

1を表示