田中 一之 | 東北大学理学部

スポンサーリンク

概要

• 田中 一之の詳細を見る
• 同名の論文著者
• 東北大学理学部の論文著者

関連著者

• 田中 一之

  東北大学理学部

• 田中 一之

  東北大学理学研究科

• 田中 一之

  東北大学教養学部

• 菊池 誠

  神戸大学工学部情報知能工学科

• 菊池 誠

  東京工業大学理学部,東北大学理学部

• 菊地 誠

  神戸大 工

著作論文

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

スポンサーリンク