Investigation on epsilon substitution methods
| Project/Area Number |
17540115
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
ARAI Toshiyasu Kobe University, 大学院工学研究科, 教授 (40193049)
|
|---|
| Project Period (FY) |
2005 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥2,740,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥240,000)
Fiscal Year 2007: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2006: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2005: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | 証明論 / 数学基礎論 / 数理論理学 / 順序数 / イプシロン代入法 |
|---|
| Research Abstract |
イプシロン代入法に関しては、帰納的マーロ順序数と弱コンパクト基数の帰納的類似物について研究を行った。その他、証明論全般についての考察や計算量理論と関連する研究も行った。
|
Report
(4 results)
Research Products
(43 results)
