A normal form for arithmetical derivations implying the $\omega$-consistency of arithmetic(Metamathematics and it's applications)

スポンサーリンク

概要

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

著者

• 池田 一磨

  聖徳大学人文学部

• 池田 一磨

  筑波大学数学研究科

• 池田 一磨

  聖徳大学児童学部

関連論文

• PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
• Normal forms for derivations in Arai's AI$_\xi^-$
• A normal form for arithmetical derivations implying the $\omega$-consistency of arithmetic(Metamathematics and it's applications)
• On Harrington's conservation theorem (Model Theory of Fields and its Applications)
• 教育実習を支援するデータベースの構築と運営 -保育所,幼稚園実習を主にして-

スポンサーリンク