池田 一磨 | 聖徳大学人文学部
スポンサーリンク
概要
関連著者
著作論文
- 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)