Reverse Mathematics and weak second-order systems of 0-1 strings

スポンサーリンク

概要

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

著者

• 山崎 武

  東北大学理学部

関連論文

• 2階算術と有界選択公理 (2階算術の諸体系の研究)
• Truth-table reductions and minimum sizes of forcing conditions : preliminary draft(Proof Theory of Arithmetic)
• Logarithmic truth-table reductions and minimum sizes of forcing conditions : preliminary draft (Proof Theory and Computation Theory)
• Reverse Mathematics and weak second-order systems of 0-1 strings
• II$_\infty^0$-BCT の保存性について(証明論における順序数)

スポンサーリンク