田中 一之 | 東北大学理学研究科
スポンサーリンク
概要
関連著者
-
田中 一之
東北大学理学研究科
-
田中 一之
東北大学理学部
-
田中 一之
東北大学大学院理学研究科
-
Ghani Ahmad
東北大学理学研究科
-
山崎 武
東北大学理学部
-
根元 多佳子
東北大学理学研究科
-
MedSalem MedYahya
東北大学理学研究科
-
メドサレム メドヤーヤ
東北大学理学研究科
-
坂本 伸幸
東北大学理学研究科数学専攻
-
塩路 直樹
Department of Information Science, Tokyo Institute of Technology
-
田中 一之
Department of Information Science, Tokyo Institute of Technology
-
吉居 啓輔
東北大学理学研究科
-
塩路 直樹
横浜国立大学大学院工学研究院
-
樋口 幸治郎
東北大学大学院理学研究科
-
樋口 幸治郎
東北大学理学研究科
著作論文
- 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(証明論と逆数学)
- 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)