2階算術の諸体系 : モデル論的手法による分析(順序数の基本列と組合せ的原理の関係)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 田中 一之

  東北大学理学部

• 田中 一之

  東北大学教養学部

関連論文

• A non-standard proof of the Peano existence theorem in WKL$_0$(Mathematical Incompleteness in Arithmetic)
• 5. 逆数学と最近の数学基礎論 ( 逆計算: 計算の理論における逆問題)
• 2階算術の諸体系:モデル論的手法による分析 その2(証明論と逆数学)
• 不完全性定理とWKL$_0$(数理論理学とその応用)
• 2階算術の諸体系 : モデル論的手法による分析(順序数の基本列と組合せ的原理の関係)

スポンサーリンク