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