なぜ、ZFC公理まで遡らなくても数学が出来るの？ (117ﾚｽ)
上下前次1-新
91: 11/19(火)17:59 ID:BeCYz6gT(4/4) AAS
>>90 追加
ほいよｗ ；ｐ）
researchmap.jp
横山 啓太
ヨコヤマ ケイタ (Keita Yokoyama)
MISC 13
超準手法の逆数学と２階算術体系
横山 啓太
日本数学会, 数学基礎論および歴史分科会, 特別講演アブストラクト 36-50 2009年
２階算術における関数空間の扱いと超準解析的手法
横山啓太
「算術体系の証明論」京都大学数理解析研究所講究録 1533 86-102 2007年
ACA0 のモデルの特徴付けと超準解析
横山啓太
「自然数の超準モデルにおける１階定義可能性の研究」京都大学数理解析研究所講究録 1469 27-34 2006年
Differential calculus in second order arithmetic
Keita Yokoyama
「証明論と計算論」京都大学数理解析研究所講究録 1442 122-148 2005年
上下前次1-新書関写板覧索設栞歴
あと 26 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.004s