Second order bounded arithmetic and computational complexity (自然数の超準モデルにおける1階定義可能性の研究 RIMS研究集会報告集)

スポンサーリンク

概要

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

著者

• 安本 雅洋

  名古屋大学情報科学研究科

• 安本 雅洋

  名古屋大学多元数理研究科

関連論文

• Cherlin Chainの集合論への応用 (ブール代数値の解析学と超準解析)
• Second order bounded arithmetic and computational complexity (自然数の超準モデルにおける1階定義可能性の研究 RIMS研究集会報告集)
• Bounded Second Order Arithmetic(Metamathematics and it's applications)
• Nonstandard theory of functional and arithmetical divisors(Problems in Combinatorics)
• Nonstandard arithmetic of function fields over H-convex subfields of $^\ast \mathbb{Q}$
• An Affirmative Answer of a Joyal's Problem (数学基礎論)
• Nonstandard arithmetic

スポンサーリンク