ニ階算術の諸公理AC, DC, CA, BIの関係 : Cut-Eliminationの初等的応用として(順序数の基本列と組合せ的原理の関係)

スポンサーリンク

概要

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

著者

• 新井 敏康

  神戸大学自然科学研究科

• 新井 敏康

  広島大学総合科学研究科数理情報専攻

関連論文

• 無矛盾性証明について
• ゲーデルの無矛盾性証明 (総特集 ゲーデル) -- (数理論理学)
• 竹内の基本予想とは何か、何であるべきか : 50年に (証明論と計算論)
• Hilbert の第2問題に関する証明論の展開
• Introducing the Hardline in Proof Theory
• Consistency Proof via Pointwise Induction
• From the Attic
• ニ階算術の諸公理AC, DC, CA, BIの関係 : Cut-Eliminationの初等的応用として(順序数の基本列と組合せ的原理の関係)
• Cut-elimination for SBL
• 竹内の基本予想について
• A Subsystem of Classical Analysis proper to Takeuti's Reduction Method for $\Pi^1_1$-Analysis(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

もっと見る 閉じる

スポンサーリンク