The start-up for reverse mathematics from various angles
| 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
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 逆数学 / ２階算術 / 組み合わせ論 / 証明論 / 計算可能性理論 / 数学基礎論 / 2階算術 |
|---|
| 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.
|
Report
(3 results)
Research Products
(13 results)
-
-
-
-
-
-
-
-
-
[Presentation] Proof transformations for nonstandard analysis2014
Author(s)
Keita Yokoyama
Organizer
The 10th AIMS Conference on Dynamical Sys- tems, Differential Equations and Applications, Special session 114: Nonstandard Analysis, Quan- tizations and Singular Perturbations
Place of Presentation
Madrid, Spain
Year and Date
2014-07-10
Related Report
Invited
-
-
-
-
