Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 15.

前
1
2
次

検索結果:

書誌情報	ファイル
On generic Kripke Structures (Model theoretic techniques for constructing infinite structures) 池田, 宏一郎; 岡本, 圭史 (2008-06) 数理解析研究所講究録, 1602: 85-89
On the Amalgamation Property for Automorphisms (Model theoretic techniques for constructing infinite structures) Kikyo, Hirotaka (2008-06) 数理解析研究所講究録, 1602: 93-102
Some remark on weak dividing (Model theoretic techniques for constructing infinite structures) MAESONO, Hisatomo (2008-06) 数理解析研究所講究録, 1602: 90-92
ON RANDOM KRIPKE FRAMES (Model theoretic techniques for constructing infinite structures) 池田, 宏一郎; 岡本, 圭史 (2008-06) 数理解析研究所講究録, 1602: 74-84
UNDECIDABLE INFINITE TOTALLY REAL EXTENSIONS OF $\mathbb{Q}$ (Model theoretic techniques for constructing infinite structures) FUKUZAKI, KENJI (2008-06) 数理解析研究所講究録, 1602: 37-63
A SHORT PROOF OF NUBLING'S RESULT (Model theoretic techniques for constructing infinite structures) YONEDA, IKUO (2008-06) 数理解析研究所講究録, 1602: 26-32
A note on independence in generic structures (Model theoretic techniques for constructing infinite structures) IKEDA, Koichiro (2008-06) 数理解析研究所講究録, 1602: 22-25
Independence in generic structures (Model theoretic techniques for constructing infinite structures) TSUBOI, Akito (2008-06) 数理解析研究所講究録, 1602: 33-36
弱順序極小構造とdefinably connectedについて (モデル理論の手法による無限構造の構成法) 田中, 広志 (2008-06) 数理解析研究所講究録, 1602: 6-9
解析的ザリスキー構造とChowの定理 (モデル理論の手法による無限構造の構成法) 板井, 昌典 (2008-06) 数理解析研究所講究録, 1602: 64-69