横山 啓太 | 東北大学大学院理学研究科

スポンサーリンク

概要

• 同名の論文著者
• 東北大学大学院理学研究科の論文著者

関連著者

• 横山 啓太

  東北大学理学研究科

• 横山 啓太

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

著作論文

• 2階算術における関数空間の扱いと超準解析的手法(算術体系の証明論)
• $\mathsf{ACA}_0$ のモデルの特徴付けと超準解析(自然数の超準モデルにおける1階定義可能性の研究)

スポンサーリンク