書誌情報 | ファイル |
表紙・目次 (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
| |