$\mathsf{ACA}_0$ のモデルの特徴付けと超準解析(自然数の超準モデルにおける1階定義可能性の研究)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 横山 啓太

  東北大学理学研究科

• 横山 啓太

  東北大学大学院理学研究科

関連論文

• Rice の定理のアナロジーについて (形式体系と計算理論)
• Nonstandard arguments and recursive arguments (Formal Systems and Computality Theory)
• 2階算術における関数空間の扱いと超準解析的手法(算術体系の証明論)
• $\mathsf{ACA}_0$ のモデルの特徴付けと超準解析(自然数の超準モデルにおける1階定義可能性の研究)
• Differential Calculus in Second Order Arithmetic (短期共同研究 照明論と計算論)

スポンサーリンク