JAIST Repository: 構成的数学における逆数学の研究本研究は、構成的逆数学のための形式体系の調査・提案・評価・改良を目的として行われた。型概念に基づいた体系、および集合概念に基づいた体系、それぞれに対して様々な原理（例えば、連続性原理）、および位相空間・一様空間の定理を対象に調査を行った。その結果、集合概念に基づいた体系としては、構成的集合論（CZF）およびその部分体系が、有力な候補であることが分かった。また、型概念に基づいた体系としては、単調完備定理を詳細に分析することにより、構成的解析体系（EL）の部分体系を構成的逆数学のための形式体系として提案した。 : The project aimed at research, proposal, evaluation, and improvement of formal systems for constructive reverse mathematics. Formal systems ba
