No.1525

2006/05/31〜2006/06/02

新井　敏康

Toshiyasu Arai

目　次

1. A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)--------------------------------------1

　　　　筑波大学数理物質科学研究科　　　坪井 明人　(Tsuboi, Akito)

　

2. モデル理論のランダムグラフへの応用(数学基礎論とその応用)--------------------------------------------------------------------------5

　　　　法政大学経営学部　　　池田 宏一郎　(IKEDA, Koichiro)

　

3. Hrushovski, Wilkie そして Zilber : 数学基礎論とその応用 : 代数幾何, 実代数幾何, 解析幾何とモデル理論の交流(数学基礎論とその応用)---15

　　　　東海大学理学部情報数理学科　　　板井 昌典　(ITAI, Masanori)

　

4. 定常集合の分割問題について(数学基礎論とその応用)---------------------------------------------------------------------------------35

　　　　名古屋大学大学院情報科学研究科　　　薄葉 季路　(Usuba, Toshimichi)

　

5. COMPLETIONS OF GBL-ALGEBRAS AND ACYCLIC MODAL ALGEBRAS : NEGATIVE RESULTS(Mathematical Logic and its Applications)---------------51

　　　　　　　LITAK, TADEUSZ

　

6. 量子集合論と量子力学の解釈問題(数学基礎論とその応用)-----------------------------------------------------------------------------62

　　　　東北大学大学院情報科学研究科　　　小澤 正直　(Ozawa, Masanao)

　

7. 線形論理の誕生(数学基礎論とその応用)---------------------------------------------------------------------------------------------94

　　　　国立情報学研究所　　　照井 一成