| 研究課題/領域番号 |
18K03392
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分12030:数学基礎関連
|
|---|
| 研究機関 | 東北大学 (2023)
広島工業大学 (2020-2022)
北陸先端科学技術大学院大学 (2018-2019) |
|---|
研究代表者 |
根元 多佳子 東北大学, 情報科学研究科, 准教授 (20546155)
|
|---|
| 研究期間 (年度) |
2018-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2022年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2021年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2020年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
2019年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2018年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
|
|---|
| キーワード | 構成的数学 / 逆数学 / 証明論 / 再帰理論 / 計算可能性理論 / 構成的逆数学 / 構成的集合論 / 直観主義論理 / 算術 / 還元性 |
|---|
| 研究実績の概要 |
2023年度の研究実績としては、(1)構成的逆数学における公理WKL!!の論理原理と選択公理による特徴づけについての論文(2)構成的集合論におけるrealizability interpretationを用いた様々な集合論のモデルの構築についての論文(3)直観主義算術上のクリプキモデルによる非構成的論理原理の統一的な手法による分離法を示した論文の計３本が出版され、(4)構成的逆数学におけるケーニッヒの補題と弱ケーニッヒの間を補完する原理の特徴づけに関する論文が受理された。この他(5)構成的逆数学のための各種の形式体系と一階算術の体系との関係、および古典論理上の二階算術の体系との関係について解説した記事が収録した書籍Handbook of Constructive Mathematicsが出版された。また、構成的逆数学の最近の研究結果について、(1)公理WKL!!の特徴づけについて(2)公理WKLと論理原理、帰納法原理の関係について(3)最近の構成的数学の研究の動向について国際学会における招待講演を計3件行った。
この他の研究成果としては、構成的逆数学における\Sigma^0_1帰納法とケーニッヒの補題の間の導出関係、二重否定翻訳の亜種を用いた、古典論理上の集合論ZFと直観主義論理上の集合論CZFの無矛盾性等価性についての結果が得られた。これらの成果については学術雑誌投稿論文を準備中である。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
構成的逆数学および構成的集合論の結果が当初の予想以上に得られ、これらの結果は直観主義論理上の計算可能性理論にも寄与すると考えられることから、おおむね順調に進展していると判断した。
|
| 今後の研究の推進方策 |
直観主義論理上の計算可能性理論について、次数の理論、特に優先法の研究を行う。優先法は次数構造の解析に用いる方法で、ある次数とある次数の間に、中間的な次数の存在を示す際に用いる。この際に、様々な場合分けを用いるが、この方法が直観主義論理上でも可能なものであるかを検討し、そうでなければ代替の手段の構築を試みる。目標としては、まずは再帰的集合の次数0と再帰的枚挙可能な集合の0'の間の次数の存在の直観主義論理上における証明である。
また、構成的逆数学の研究では、公理WKLと公理FANの関係についての研究を行う。特に後者はこれまで選択公理との関係が明らかになっていないことから、まずはこの観点からの特徴づけを与えた上で、WKLとの関係を解析する。
構成的集合論の研究においては、realizability interpretationと二重否定翻訳の応用による様々なモデルの構築について研究を行う。
|
