書誌情報	ファイル
表紙・目次    (2006-02)   数理解析研究所講究録, 1469
Second order bounded arithmetic and computational complexity(Study of definability in nonstandard models of arithmetic)   安本, 雅洋 (2006-02)   数理解析研究所講究録, 1469: 1-3
包括原理のある集合論と超準的自然数(自然数の超準モデルにおける1階定義可能性の研究)   矢田部, 俊介 (2006-02)   数理解析研究所講究録, 1469: 4-16
On weak determinacy of infinite binary games(Study of definability in nonstandard models of arithmetic)   Nemoto, Takako; MedSalem, MedYahya Ould; Tanaka, Kazuyuki (2006-02)   数理解析研究所講究録, 1469: 17-26
$\mathsf{ACA}_0$ のモデルの特徴付けと超準解析(自然数の超準モデルにおける1階定義可能性の研究)   横山, 啓太 (2006-02)   数理解析研究所講究録, 1469: 27-34
PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)   池田, 一磨; 坪井, 明人 (2006-02)   数理解析研究所講究録, 1469: 35-45
End-extension とstandardizable extension について(自然数の超準モデルにおける1階定義可能性の研究)   Murakami, Masahiko (2006-02)   数理解析研究所講究録, 1469: 46-49
Weakly o-minimal structures(Study of definability in nonstandard models of arithmetic)   田中, 広志 (2006-02)   数理解析研究所講究録, 1469: 50-58
Quantifier elimination of the products of ordered abelian groups(Study of definability in nonstandard models of arithmetic)   Tanaka, Hiroshi; Yokoyama, Hirokazu (2006-02)   数理解析研究所講究録, 1469: 59-64
On pseudospaces(Study of definability in nonstandard models of arithmetic)   米田, 郁生 (2006-02)   数理解析研究所講究録, 1469: 65-78
部分的デファイナブル$G$自明性について(自然数の超準モデルにおける1階定義可能性の研究)   川上, 智博 (2006-02)   数理解析研究所講究録, 1469: 79-85
Forking in Generic Structures(Study of definability in nonstandard models of arithmetic)   IKEDA, Koichiro (2006-02)   数理解析研究所講究録, 1469: 86-91
On P-closure operator in quasi-minimal structures(Study of definability in nonstandard models of arithmetic)   MAEZONO, Hisatomo (2006-02)   数理解析研究所講究録, 1469: 92-95
理論の単純性について : n-simplicity に関する考察(自然数の超準モデルにおける1階定義可能性の研究)   坪井, 明人 (2006-02)   数理解析研究所講究録, 1469: 96-100