The start-up for reverse mathematics from various angles

2014 Fiscal Year Final Research Report

• Project/Area Number: 25887026
• Research Category: Grant-in-Aid for Research Activity Start-up
• Allocation Type: Single-year Grants
• Research Field: Foundations of mathematics/Applied mathematics
• Research Institution: Japan Advanced Institute of Science and Technology
• Principal Investigator: YOKOYAMA Keita 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (10534430)
• Project Period (FY): 2013-08-30 – 2015-03-31
• Keywords: 逆数学 / ２階算術 / 組み合わせ論 / 証明論 / 計算可能性理論 / 数学基礎論

Outline of Final Research Achievements

The purpose of this research is to develop several new approaches for the study of reverse mathematics, whose goal is to determine the strength of ordinary mathematical theorems from various angles. In this research, I investigated the proof-theoretic strength of several combinatorial principles and introduced several new methods to determine the proof-theoretic strength. I also found a new way to apply these results into the study of termination analysis.

Free Research Field

数学基礎論、数理論理学