Applications of forcing in bounded arithmetic

2020 Fiscal Year Research-status Report

• Project/Area Number: 18K03400
• Research Institution: Gunma Prefectural Women's University
• Principal Investigator: 黒田 覚 群馬県立女子大学, 文学部, 教授 (30300586)
• Project Period (FY): 2018-04-01 – 2022-03-31
• Keywords: 限定算術

Outline of Annual Research Achievements

３ソートの限定算術体系について，強制法によってモデルを拡張する方法を与え，それをもちいて多項式領域計算可能クラスおよび指数時間計算可能クラスに対するジェネリックモデルを構成することに成功した．また，これらのモデルと元のモデルにおける計算量クラスの分離条件との関係についての結果を得た．さらに，３ソートの場合にはある条件のもとでジェネリックオブジェクトが拡張したモデルの要素になりうることを指摘し，そのための条件をあたえた．これらの結果について論文を作成し，投稿する予定である．

Current Status of Research Progress

3: Progress in research has been slightly delayed.

Reason

新型コロナウィルスの感染拡大に伴い，学会やセミナーなどを通じた研究者との連絡ができないため，思うように研究が進められていない．

Strategy for Future Research Activity

これまでに得られた結果をまとめて論文を執筆し，学術誌などに投稿する予定である．また，可能な限り研究集会などにも参加し結果を発表する．

Causes of Carryover

新型コロナウィルスの感染拡大のため，当初予定していた学会や研究集会での研究発表や，他研究機関の研究者との連絡が全く行えなかったため．