イプシロン代入法に関する研究
【研究分野】数学一般(含確率論・統計数学)
【研究キーワード】
証明論 / 数学基礎論 / 数理論理学 / 順序数 / イプシロン代入法
【研究成果の概要】
イプシロン代入法に関しては、帰納的マーロ順序数と弱コンパクト基数の帰納的類似物について研究を行った。その他、証明論全般についての考察や計算量理論と関連する研究も行った。
【研究代表者】
【研究種目】基盤研究(C)
【研究期間】2005 - 2008
【配分額】2,740千円 (直接経費: 2,500千円、間接経費: 240千円)