池田 一磨 | 聖徳大学人文学部

スポンサーリンク

概要

• 同名の論文著者
• 聖徳大学人文学部の論文著者

関連著者

• 池田 一磨

  聖徳大学人文学部

• 池田 一磨

  聖徳大学児童学部

• 池田 一磨

  筑波大学数学研究科

• 坪井 明人

  筑波大学数理物質科学研究科

• 坪井 明人

  筑波大学数学系

著作論文

• 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)

スポンサーリンク