書誌情報 | ファイル |
表紙・目次 (2008-06) 数理解析研究所講究録, 1602
| |
コンパクト底空間をもったデファイナブルGファイバー束 (モデル理論の手法による無限構造の構成法) 川上, 智博 (2008-06) 数理解析研究所講究録, 1602: 1-5
| |
弱順序極小構造とdefinably connectedについて (モデル理論の手法による無限構造の構成法) 田中, 広志 (2008-06) 数理解析研究所講究録, 1602: 6-9
| |
Nonstandard arguments and the stability of generic structures (Model theoretic techniques for constructing infinite structures) Anbo, Yuki (2008-06) 数理解析研究所講究録, 1602: 10-16
| |
A Theory of Superstructures (Model theoretic techniques for constructing infinite structures) MURAKAMI, Masahiko (2008-06) 数理解析研究所講究録, 1602: 17-21
| |
A note on independence in generic structures (Model theoretic techniques for constructing infinite structures) IKEDA, Koichiro (2008-06) 数理解析研究所講究録, 1602: 22-25
| |
A SHORT PROOF OF NUBLING'S RESULT (Model theoretic techniques for constructing infinite structures) YONEDA, IKUO (2008-06) 数理解析研究所講究録, 1602: 26-32
| |
Independence in generic structures (Model theoretic techniques for constructing infinite structures) TSUBOI, Akito (2008-06) 数理解析研究所講究録, 1602: 33-36
| |
UNDECIDABLE INFINITE TOTALLY REAL EXTENSIONS OF $\mathbb{Q}$ (Model theoretic techniques for constructing infinite structures) FUKUZAKI, KENJI (2008-06) 数理解析研究所講究録, 1602: 37-63
| |
解析的ザリスキー構造とChowの定理 (モデル理論の手法による無限構造の構成法) 板井, 昌典 (2008-06) 数理解析研究所講究録, 1602: 64-69
| |
体を解釈するMorleyランク2の群 (モデル理論の手法による無限構造の構成法) 田中, 克己 (2008-06) 数理解析研究所講究録, 1602: 70-73
| |
ON RANDOM KRIPKE FRAMES (Model theoretic techniques for constructing infinite structures) 池田, 宏一郎; 岡本, 圭史 (2008-06) 数理解析研究所講究録, 1602: 74-84
| |
On generic Kripke Structures (Model theoretic techniques for constructing infinite structures) 池田, 宏一郎; 岡本, 圭史 (2008-06) 数理解析研究所講究録, 1602: 85-89
| |
Some remark on weak dividing (Model theoretic techniques for constructing infinite structures) MAESONO, Hisatomo (2008-06) 数理解析研究所講究録, 1602: 90-92
| |
On the Amalgamation Property for Automorphisms (Model theoretic techniques for constructing infinite structures) Kikyo, Hirotaka (2008-06) 数理解析研究所講究録, 1602: 93-102
| |