A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)
スポンサーリンク
概要
著者
関連論文
- Determinacy of infinite games and inductive definition in second order arithmetic (形式体系と計算理論--RIMS共同研究報告集)
- Network games with many attackers and defenders (形式体系と計算理論--RIMS共同研究報告集)
- A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)
- 5. 逆数学と最近の数学基礎論 ( 逆計算: 計算の理論における逆問題)
- 2階算術の諸体系:モデル論的手法による分析 その2(証明論と逆数学)
- 不完全性定理とWKL$_0$(数理論理学とその応用)
- 2階算術の諸体系 : モデル論的手法による分析(順序数の基本列と組合せ的原理の関係)
- On weak determinacy of infinite binary games(Study of definability in nonstandard models of arithmetic)
- Infinite games and set existence axioms (Proof Theory and Computation Theory)
- 数学基礎論の伝統と新しい手法 : 逆数学
- 超算術的選択公理HACとその仲間たち (シークエント計算による証明論)
- 2階算術における実数と複素数 (圏論と証明論の新たな融合を目指して)
- 2階算術と有界選択公理 (2階算術の諸体系の研究)
- 2階算術の諸体系 : モデル論的手法による分析 その3(証明論における順序数)
- Fixed Point Theory in Weak Second-Order Arithmetic
- Determinacy of Infinite Games and Inductive Definition in Second Order Arithmetic (Formal Systems and Computality Theory)
- Network Games with Many Attackers and Defenders (Formal Systems and Computality Theory)
- 数学基礎論の伝統と新しい手法 : 逆数学
- Values on generalized reachability games (Proof theory and complexity)