研究課題/領域番号 |
19K03599
|
研究機関 | 東京大学 |
研究代表者 |
新井 敏康 東京大学, 大学院数理科学研究科, 教授 (40193049)
|
研究期間 (年度) |
2019-04-01 – 2023-03-31
|
キーワード | 証明論 |
研究実績の概要 |
初めにGoodstein列をパラメタ付きのAckermann関数を用いることによって拡張した。結果として得られるGoodstein列の停止性はATR_{0}から独立である。これに対してもとのGoodstein列は指数関数を用いて自然数を表記してその底を大きくすることで定義されていて、その停止性はACA_{0}から独立であった。今回のGoodstein列では指数関数よりも早く大きくなるパラメタ付きのAckermann関数を用いて自然数を表記する方法をまず考えて、そこでのパラメタを底に見立てることによってGoodstein列を構成した。実際にはこれらのGoodstein列の停止性はACA_{0}およびATR_{0}の1-consistencyと同等である。 以上はD. Fernandez Duque, S. S. WainerとA. Weiermannとの共同研究である。 次にS. S. WainerとA. Weiermannとの共同研究において、上記の結果をID_{1}に拡張すべくfast-growing functions F_{\alpha} を用いて自然数を表記する方法を考案した。その結果生じるGoodstein列の停止性は ID_{1}から独立であることを示した。 さらにordinal analysisの先端として、stable ordinalが一つの場合の結果を得て、研究誌に投稿中である。
|
現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
パンデミックのため海外出張がここ2年間はできていないので、新しい問題に取り掛かることはしなかったが、それが返って、旧来の難問題を集中して考える機会となったため。
|
今後の研究の推進方策 |
ordinal analysisの先端を進めるために、stable ordinalが一つの場合の結果を得て、研究誌に投稿中であるが、この間にこの結果をPi_{1}-collectionまで拡張することに成功したので、それを論文にまとめたい。
|
次年度使用額が生じた理由 |
パンデミックにより海外出張ができず、旅費が執行できなかったため。
|