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