Reverse mathematical analysis of intuitionistic mathematics

点击翻译按钮获取中文摘要

本研究は，数学基礎論確立以前からL.E.J.Brouwerとその追随者たちにより独自の哲学的立場に基づいて展開されていた直観主義数学を，現代数学基礎論の立場から再検討するものであり，「具体的な直観主義数学における公理や定理に対する逆数学」と「構成的逆数学を計算可能解析学や古典的逆数学と関連づけるメタ定理の開発」に大別される．前年度に引き続き，本年度もこれらを並行して押し進めた．前者に関しては，モジュラスに連続性を加味しない一般の連続関数に対する一様連続性定理の解析のための足がかりとして，唯一解をもつ弱ケーニヒの補題WKL!!を構成的逆数学の観点から詳しく解析し，根元多佳子氏(広島工業大学)との共同研究の成果として，WKL!!がEL_0と呼ばれる直観主義二階算術の部分体系の上で2つの論理公理と2つの関数存在公理の計4つの公理に分離されることを示した．なお，WKL!!を弱めたWKL!が連続モジュラスをもつ連続関数に対する一様連続性定理と構成的に同値であることは分かっているものの，一般の連続関数に対する一様連続性定理がWKL!!から構成的に導出されるか否かは未だ分かっておらず，今後の課題として残されている．後者に関しては，与えられた存在定理がファン定理から構成的に導出不可能であることを示すためのメタ定理の開発に取り組んだ．この研究は未だ完成してはいないものの，関連結果を踏まえた慎重な検討を繰り返す中で，所望のメタ定理の構築のための端緒を得ることができた．また，後者に関連する倉橋太志氏(神戸大学)との共同研究として，直観主義算術上の論理公理の階層構造の関係を詳しく解析し，その構造を明らかにした．