数学基礎論入門 : 紹介シリーズ刊行計画について(算術諸体系の不完全性の研究)
スポンサーリンク
概要
著者
関連論文
- 圈論の集合論的基礎づけに関するノートとくに"$Z_O$ in ZF"について (ブール代数値の解析学と超準解析)
- 数学基礎論入門 : 紹介シリーズ刊行計画について(算術諸体系の不完全性の研究)
- FMS-Principleのある拡張(数学基礎論およびその応用)
- Reflexion Principle on Second order Arithmetic(Logic and the Foundations of Mathematics)
- Paris Harrington原理とその周辺(数学基礎論及びその応用)
- Pris-Harrington Theory and reflection Principles(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Grothendieck Toposへの入門試論(数学基礎論)
- Reflection Principle, Transfinite Induction, and Paris, Harrington Principle (Boole代数値の解析学と超準解析)
- 集合論$Z_y$のToposへのInterpretation (数学基礎論)