[Discovery Saga Top]
[Saga Next]
[無料公開版Discovery Saga]
[Discovery Sagaプレミアムご案内]
[早稲田大学研究Discovery Saga]
[産学連携のご案内]
[Saga Concept]
[会社概要]
[お問い合わせ]
Dis
cov
er
y
Sa
ga
詳細表示
研究者リスト表示
ダウンロード（UTF-8 txt)
数理論理学Saga
数理論理学
に関するサイレントキーワード
順序数
が含まれる科研費採択研究1件
数理論理学
に関するサイレントキーワード
順序数
が含まれる科研費採択研究 1件
イプシロン代入法に関する研究
【研究分野】数学一般(含確率論・統計数学)
【研究領域課題番号】
17540115 (KAKENデータベースで見る）
【研究キーワード】
証明論 / 数学基礎論 /
数理論理学
/
順序数
/ イプシロン代入法
【研究成果の概要】
イプシロン代入法に関しては、帰納的マーロ
順序数
と弱コンパクト基数の帰納的類似物について研究を行った。その他、証明論全般についての考察や計算量理論と関連する研究も行った。
【研究代表者】
新井 敏康 神戸大学 大学院工学研究科 教授
(Kakenデータベース)
【研究種目】基盤研究(C)
【研究期間】2005 - 2008
【配分額】2,740千円 (直接経費: 2,500千円、間接経費: 240千円)