Kripkeモデルの基底としての$\mathbb{R}$ と $\mathbb{Q}$(数学基礎論)

スポンサーリンク

概要

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

著者

• 高野 道夫

  新潟大学教育人間科学部

関連論文

• 自然数論の新しい公理化試論
• Kripkeモデルの基底としての$\mathbb{R}$ と $\mathbb{Q}$(数学基礎論)

スポンサーリンク