| Project/Area Number |
18K03392
|
|---|
| 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 | Tohoku University (2023)
Hiroshima Institute of Technology (2020-2022)
Japan Advanced Institute of Science and Technology (2018-2019) |
|---|
Principal Investigator |
根元 多佳子 東北大学, 情報科学研究科, 准教授 (20546155)
|
|---|
| Project Period (FY) |
2018-04-01 – 2025-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2022: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2021: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2020: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2019: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2018: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
|---|
| Keywords | 構成的数学 / 逆数学 / 証明論 / 再帰理論 / 計算可能性理論 / 構成的逆数学 / 構成的集合論 / 直観主義論理 / 算術 / 還元性 |
|---|
| Outline of Annual Research Achievements |
2023年度の研究実績としては、(1)構成的逆数学における公理WKL!!の論理原理と選択公理による特徴づけについての論文(2)構成的集合論におけるrealizability interpretationを用いた様々な集合論のモデルの構築についての論文(3)直観主義算術上のクリプキモデルによる非構成的論理原理の統一的な手法による分離法を示した論文の計３本が出版され、(4)構成的逆数学におけるケーニッヒの補題と弱ケーニッヒの間を補完する原理の特徴づけに関する論文が受理された。この他(5)構成的逆数学のための各種の形式体系と一階算術の体系との関係、および古典論理上の二階算術の体系との関係について解説した記事が収録した書籍Handbook of Constructive Mathematicsが出版された。また、構成的逆数学の最近の研究結果について、(1)公理WKL!!の特徴づけについて(2)公理WKLと論理原理、帰納法原理の関係について(3)最近の構成的数学の研究の動向について国際学会における招待講演を計3件行った。
この他の研究成果としては、構成的逆数学における\Sigma^0_1帰納法とケーニッヒの補題の間の導出関係、二重否定翻訳の亜種を用いた、古典論理上の集合論ZFと直観主義論理上の集合論CZFの無矛盾性等価性についての結果が得られた。これらの成果については学術雑誌投稿論文を準備中である。
|
| 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 |
直観主義論理上の計算可能性理論について、次数の理論、特に優先法の研究を行う。優先法は次数構造の解析に用いる方法で、ある次数とある次数の間に、中間的な次数の存在を示す際に用いる。この際に、様々な場合分けを用いるが、この方法が直観主義論理上でも可能なものであるかを検討し、そうでなければ代替の手段の構築を試みる。目標としては、まずは再帰的集合の次数0と再帰的枚挙可能な集合の0'の間の次数の存在の直観主義論理上における証明である。
また、構成的逆数学の研究では、公理WKLと公理FANの関係についての研究を行う。特に後者はこれまで選択公理との関係が明らかになっていないことから、まずはこの観点からの特徴づけを与えた上で、WKLとの関係を解析する。
構成的集合論の研究においては、realizability interpretationと二重否定翻訳の応用による様々なモデルの構築について研究を行う。
|
