著者

田中 一之 山崎 武 服部 哲弥 小澤 正直 黒田 覚 隈部 正博 服部 哲哉 小澤 正直 鈴木 登志雄 黒田 覚 隈部 正博 鹿島 亮

出版者

東北大学

雑誌

基盤研究(B)

巻号頁・発行日

2007

---

本研究の主題は, 超準的手法の論理的基礎付けである. 従来集合論をベースに行われた超準的議論を, 計算可能性と結びついた2階算術の弱い体系において実行することにより, 命題の構成的な内容まで超準的に得られるようにする. 代表者が考案した2階算術の超準的方法論の改良と整備を行いながら, 2階算術の超準モデルを研究し, 同時に実数集合の計算構造について探査する. とくに, ランダムな無限列としての実数とその集合の性質を調べる.