A proof-theoretic approach to Paris-Harrington's results(Foundational Study and Its Applications)

スポンサーリンク

概要

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

著者

• 小野 久晰

  Faculty Of Integrated Arts And Sciences Hiroshima University

• 角田 法也

  Department of Applied Mathematics, Faculty of Engineering, Hiroshima University

• 角田 法也

  熊本大学工学部

関連論文

• 8-224 情報処理教育における高級言語を用いた数理工学系アルゴリズム教育の改良((06)工学教育の個性化・活性化-IV,口頭発表論文)
• A proof-theoretic approach to Paris-Harrington's results(Foundational Study and Its Applications)
• Subrecursion theory における dilation について(証明論と逆数学)
• THE FAST AND SLOW GROWING HIERARCHIES AND THE INDUCTIVE DEFINITIONS
• A SUBRECURSIVE INACCESSIBLE ORDINAL(MATHEMATICAL LOGIC AND ITS APPLICATIONS)
• Fundamental sequence の system の性質について(二階算術の証明論)
• A note on Schmidt's built-up systems of fundamental sequences

スポンサーリンク