No.1708

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)