An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 秋吉 亮太

  慶應義塾大学

関連論文

• An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $\Pi^1_1$-Analysis with $\omega$-rule (Proof theoretical study of the structure of logic and computation)
• 非可述性の分析としての証明論(あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

スポンサーリンク