2021 Fiscal Year Research-status Report
Applications of forcing in bounded arithmetic
| Project/Area Number |
18K03400
|
|---|
| Research Institution | Gunma Prefectural Women's University |
|---|
Principal Investigator |
黒田 覚 群馬県立女子大学, 文学部, 教授 (30300586)
|
|---|
| Project Period (FY) |
2018-04-01 – 2023-03-31
|
| Keywords | 限定算術 |
|---|
| Outline of Annual Research Achievements |
本研究の遂行で得られた多項式領域計算可能クラスに対する強制法に関する結果を，論文としてまとめた．この結果は今後，専門誌への投稿を予定している．
また，本研究のテーマに関連して，対数領域計算可能クラス及びその周辺のクラスに対応する限定算術体系をいくつか構成し，そこにおける線形代数学の諸定理の計算可能性に関する結果をいくつか得た．この結果は，２０２１年１２月に開催された，証明論研究集会においてその一部を発表した．
|
| Current Status of Research Progress |
Current Status of Research Progress
4: Progress in research has been delayed.
Reason
新型コロナウィルスの感染拡大が続いていることから，学会，研究集会への参加やt他研究者との研究連絡がほぼできない状況であるため．
|
| Strategy for Future Research Activity |
現在，数名の研究者との共同研究を予定しており，今年度中に複数回研究連絡を予定している．
|
| Causes of Carryover |
新型コロナウィルスの感染拡大が続いていることにより，国際会議出席を含む学術交流のための旅費の執行がほとんど不可能な状況が続いたため．
2022年度において，他大学の研究者との研究連絡なども含めて，積極的に交流を行う．
|
