Discovery Sagaサイレントキーワード俯瞰

初めに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が一つの場合の結果を得て、研究誌に投稿中である。