本文へのリンクあり 2006年 ACA0 のモデルの特徴付けと超準解析 「自然数の超準モデルにおける1階定義可能性の研究」京都大学数理解析研究所講究録 ダウンロード 回数 : 427 横山啓太 巻 1469 号 開始ページ 27 終了ページ 34 エクスポート BibTeX RIS