Kyoto University Research Information Repository: 検索

検索

検索結果表示: 1-8 / 8.

検索結果:

書誌情報	ファイル
ジェネリック構造の飽和性と安定性 (モデル理論とその代数への応用) 池田, 宏一郎 (2010-08) 数理解析研究所講究録, 1708: 35-45
UNDECIDABLE INFINITE TOTALLY REAL EXTENSIONS OF $\mathbb{Q}$ (Model Theory and It's Application to Algebra) FUKUZAKI, KENJI (2010-08) 数理解析研究所講究録, 1708: 50-76
On weak notion of $\mathfrak{p}$-dividing (Model Theory and It's Application to Algebra) MAESONO, Hisatomo (2010-08) 数理解析研究所講究録, 1708: 46-49
Algebraic types and the number of countable models (Model Theory and It's Application to Algebra) Tsuboi, Akito (2010-08) 数理解析研究所講究録, 1708: 29-34
A decomposition theorem in $K_{ex}$ (Model Theory and It's Application to Algebra) Itai, Masanori (2010-08) 数理解析研究所講究録, 1708: 26-28
実閉体の順序極小拡張におけるデファイナブルファイバー束について (モデル理論とその代数への応用) 川上, 智博 (2010-08) 数理解析研究所講究録, 1708: 21-25
RELATIVE GEOMETRIC CONFIGURATIONS (Model Theory and It's Application to Algebra) BLOSSIER, T.; MARTIN-PIZARRO, AMADOR; WAGNER, FRANK O. (2010-08) 数理解析研究所講究録, 1708: 15-20
Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\mathrm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra) Okamoto, Keishi (2010-08) 数理解析研究所講究録, 1708: 1-14