| 研究課題/領域番号 |
13F03760
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 外国 |
|---|
| 研究分野 |
環境関連化学
|
|---|
| 研究機関 | 東北大学 |
|---|
研究代表者 |
田中 一之 東北大学, 理学(系)研究科(研究院), 教授 (70188291)
|
|---|
| 研究分担者 |
PELUPESSY FLORIAN 東北大学, 理学(系)研究科(研究院), 外国人特別研究員
PELUPESSY Florian 東北大学, 理学(系)研究科(研究院), 外国人特別研究員
|
|---|
| 研究期間 (年度) |
2013-04-26 – 2016-03-31
|
| 研究課題ステータス |
完了 (2015年度)
|
| 配分額 *注記 |
1,500千円 (直接経費: 1,500千円)
2015年度: 200千円 (直接経費: 200千円)
2014年度: 800千円 (直接経費: 800千円)
2013年度: 500千円 (直接経費: 500千円)
|
|---|
| キーワード | 数学基礎論 |
|---|
| 研究実績の概要 |
本研究の目的は，証明論，モデル理論，逆数学など現代数理論理学のいくつかの分野を融合して，証明不可能性の相転移現象を分析することにある．この現象の研究は主に１階算術に対してPelupessyの師であるWeiermannによって創始されたが，本研究ではさらに幅広い数学を扱う２階算術の諸体系を考慮しながらこの分析法を発展させた．Pelupessyはまず来日以前から取り組んでいた２編の論文を完成させて受理された．さらに，もう一編過去の研究の延長でMaclaganの定理の弱い形に対する相転移に関する論文も受理されている．新機軸として本年度は２つのプレプリントがある．一つは，GasparとKohlenbach両教授が定式化した有限的Ramseyの定理FRTと本来のRamseyの定理RTとの関係を調べたもので，パラメータを入れた両者の命題について詳細な探査を行なった．パラメータの種類を様々に設定することで，予想外に多くの強弱関係が出現している．最後は，研究室院生との共同研究で，小Dicksonの補題 と 弱Paris= Harrington原理を比較するものである．ここで，弱Paris= Harrington原理とは，ペアに関するRamseyの定理の一種で，列に対する隣同士の関係が同色になるような均質集合の存在を主張する者である．ここでも意外な同値関係を示すと共に，この場合のRamsey数を具体的に求めることにも成功した．これらの結果の一部はプレプリントとして公開されている．
|
| 現在までの達成度 (段落) |
27年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
27年度が最終年度であるため、記入しない。
|
