Applications of forcing in bounded arithmetic
Project/Area Number |
18K03400
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 12030:Basic mathematics-related
|
Research Institution | Gunma Prefectural Women's University |
Principal Investigator |
黒田 覚 群馬県立女子大学, 文学部, 教授 (30300586)
|
Project Period (FY) |
2018-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2020: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2019: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2018: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
Keywords | 限定算術 / 線形代数学 / 算術モデル / 強制法 / 組み合わせ論 / 計算量理論 / 証明の複雑さ |
Outline of Annual Research Achievements |
対数領域計算可能クラスとその周辺の計算量クラスに対応する限定算術体系における,さまざまな数学的命題の証明可能性について研究を進めた.特に,線形代数学の基礎となる行列式と行列の階数の定義可能性や,ケーリーハミルトンの定理や階数の定義間の同値性など,それらの基本的性質の証明可能性について考察し,それらが行列式の乗法性から証明可能であるという結果を得た. さらにこれらの結果をもとに,組み合わせ論における,共通部分に制約がある集合族のサイズの上限を決定するいくつかの命題が,比較的弱い算術体系において証明可能であるという結果もえた. これらの結果のいくつかは,証明論シンポジウム2022において発表された. また,従来から研究を継続していた,弱い算術モデルの強制法について,得られた結果をまとめた論文を,国際研究集会 Computability Theory and Foundations of Mathematics 2019(武漢,中国において開催)における論文集に発表した.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
本研究において得られた結果の一部がすでに査読論文として発表済みである.その他の結果についても今後速やかに学術雑誌等への投稿を予定している.
|
Strategy for Future Research Activity |
すでに得られた研究結果をまとめて,論文として発表する予定である. また,本研究の計画時点では想定していなかったテーマについても,本研究課題との関連において研究を進める余地が十分にあることが明らかになったため,その方向で研究を進める.
|
Report
(5 results)
Research Products
(5 results)