No.1708
モデル理論とその代数への応用
Model Theory and It's Application to Algebra
RIMS 研究集会報告集
 
2008/11/10〜2008/11/12
田中 克己
Katsumi Tanaka
 
目 次
 
1. Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\mathrm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)---1
    産業技術総合研究所   岡本 圭史 (Okamoto,Keishi)
 
2. RELATIVE GEOMETRIC CONFIGURATIONS (Model Theory and It's Application to Algebra)-------------------------------------------------15
    UNIVERSITE DE LYON / UNIVERSITE DE LYON / UNIVERSITE DE LYON   BLOSSIER,T. / MARTIN-PIZARRO,AMADOR / WAGNER,FRANK O.
 
3. 実閉体の順序極小拡張におけるデファイナブルファイバー束について (モデル理論とその代数への応用)------------------------------------21
    和歌山大学教育学部数学教室   川上 智博 (Kawakami,Tomohiro)
 
4. A decomposition theorem in $K_{ex}$ (Model Theory and It's Application to Algebra)-----------------------------------------------26
    東海大学理学部   板井 昌典 (Itai,Masanori)
 
5. Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)--------------------------------29
    筑波大学数理物質科学研究科   坪井 明人 (Tsuboi,Akito)
 
6. ジェネリック構造の飽和性と安定性 (モデル理論とその代数への応用)------------------------------------------------------------------35
    法政大学経営学部   池田 宏一郎 (Ikeda,Koichiro)
 
7. On weak notion of $\mathfrak{p}$-dividing (Model Theory and It's Application to Algebra)-----------------------------------------46
    早稲田大学メディアネットワークセンター   前園 久智 (MAESONO,Hisatomo)
 
8. UNDECIDABLE INFINITE TOTALLY REAL EXTENSIONS OF $\mathbb{Q}$ (Model Theory and It's Application to Algebra)----------------------50
    鹿児島国際大学国際文化学部   福崎 賢治 (FUKUZAKI,KENJI)