著者

石原 哉

雑誌

科学研究費補助金研究成果報告書

巻号頁・発行日

pp.1-5, 2010-05-29

---

本研究は、構成的逆数学のための形式体系の調査・提案・評価・改良を目的として行われた。型概念に基づいた体系、および集合概念に基づいた体系、それぞれに対して様々な原理(例えば、連続性原理)、および位相空間・一様空間の定理を対象に調査を行った。その結果、集合概念に基づいた体系としては、構成的集合論(CZF)およびその部分体系が、有力な候補であることが分かった。また、型概念に基づいた体系としては、単調完備定理を詳細に分析することにより、構成的解析体系(EL)の部分体系を構成的逆数学のための形式体系として提案した。 : The project aimed at research, proposal, evaluation, and improvement of formal systems for constructive reverse mathematics. Formal systems based on the notion of a type, and formal systems based on the notion of a set were examined by case studies on principles (such as a continuity principle), and theorems in topological and uniform spaces, respectively. It appeared that the constructive set theory (CZF) and its subsystems, as formal systems based on the notion of a set, work well for our purpose. By carefully examining the monotone completeness theorem, we proposed a subsystem of elementary analysis (EL) as a formal system based on the notion of a type.