Model Theory Meeting in Tsukuba, August '07
モデル理論夏の勉強会２００７
● 上記研究集会は下記日程で
無事終了しました．
- 日時：
2007年8月6日午後〜8月8日午前
- 場所：
筑波大学総合研究Ｂ棟 1 階 0110 室
- 〒305-8571 つくば市天王台１−１−１
University of Tsukuba, Tsukuba, Ibaraki 305-8571, Japan
● プログラム
- 8月6日
- 1:00-1:10 事務連絡
- 1:10-1:50 板井昌典（東海大学理学部 情報数理学科）
「Pseudo-exponentiation and analytic Zariski geometries」
- 2:10-2:50 桔梗宏孝（神戸大学），井深 真悟（神戸大学），
田中広志（阿南工業高等専門学校）
「順序アーベル群の積とQE」
- 3:10-3:50 福崎賢治（鹿児島国際大学）
「undecidableな体、環、及びHTPについて」
- 4:10-4:50 Francis Oger (University of Paris VII)
「Folding sequences, folding curves and quasi-periodicity」
- 5:10-5:50 小林誠（筑波大学数理物質科学研究科）
「On types over models in simple theories」
- 8月7日
- 10:00 - 10:40 坪井明人（筑波大学 数理物質科学研究科）,
「An extension of Steinhorn's result on omitting types theorem」
- 11:00-11:40 前園久智（早稲田大学メディアネットワークセンター）
「 weak dividing について 」
- problem session
- 昼休み
- 1:10-1:50 池田宏一郎 （法政大学経営学部）,
「Generic構造におけるforkingの特徴づけについて」
- 2:10-2:50 安保勇希 （筑波大学 数理物質科学研究科）,
「超準的手法の generic 構造への適用」
- 3:10-3:50 米田郁夫 （東海大学）
「ＴＢＡ」
- 4:10-4:50 川上智博 （和歌山大学教育学部）,
「デファイナブルCr 多様体上のデファイナブルCr Morse関数」
- 5:10-5:50 池田一磨 （聖徳大学）
「ＴＢＡ」
- ８月8日
- 10:00-10:40 村上雅彦
（法政大学）
「On Boolean ultrapower nonstandard universe」
- 11:00-11:40 佐藤憲太郎（ミシガン大学）
「抽象様相模型論に向けて」
- 12:00-12:40 若井健太郎 （東海大学）
「shift function と quasi-minimality」
なお，本研究集会は以下の科学研究費補助金の一部援助により
開催されました：
- 課題番号：19540111 基盤研究（Ｃ）研究代表者 坪井明人（筑波大学数理物質科学研究科）
研究課題 1階言語で定義された算術理論のモデルの研究と
その応用
- 課題番号：19540150 基盤研究(C)
研究代表者：池田宏一郎 (法政大学 経営学部)
研究課題：ランダムグラフを用いたモデル理論の研究
- 課題番号：19540126 基盤研究(C)
研究代表者：桔梗宏孝 (神戸大学 大学院工学研究科)
研究課題：存在閉モデルの研究とその応用