研究集会「モデル理論夏の勉強会 2012」

研究集会は無事終了しました．集会の様子は こちらをご覧ください．

  集会概要  
毎年行われている「夏の勉強会」という名前の研究集会です．
今年は以下の日程で行われます．モデル理論に興味を持つ方なら，どなたでも歓迎します．
  1. 参加希望の方は次の情報を坪井明人までお送りください（締め切り延長 7月10日）

    • 氏名と所属，身分
    • 参加希望日
    • 宿泊希望日
    • 講演を希望するかどうか 希望する場合は講演題目

  2. 学生の方で旅費援助を希望する場合はお知らせください．
   集会プログラム  

8月28日 14:00-14:10 事務連絡
14:10-14:40 Finite models and first order undefinability of parity in finite Boolean algebras 青柳宏作（筑波大学数理物質研究科）
14:50-15:20 Schr\"oder-Bernstein property in a category of countable models 田中勇一 （筑波大学数理物質研究科）
15:40-16:10 Around the Kurker conjecture 柳川信（筑波大学数理物質研究科）
16:20-16:50 Problem Session 問題紹介
19:30-20:30 Tutorial Lecture (Generic Structureについて) 坪井明人（筑波大学数学域）
8月29日 8:40-9:30 Indiscernibilities and unstable theories 竹内耕太（筑波大学 数学専攻）
9:40-10:30 Model Theory of quantum 2-torus 板井昌典（東海大学・理学部）
10:40-11:30 A syntax over model theory 村上雅彦（法政大学）
12:00-14:00昼食休憩
14:00-14:50 Equivariant definable Morse functions in definably complete structures 川上智博（和歌山大学教育学部）
15:00-15:50 Expressivenss of Temporal Logics 岡本圭史（仙台高等専門学校）
16:00-16:50 Elementary equivalence of function fields under base extension 福崎賢治（鹿児島国際大学）
19:30-20:30 Tutorial Lecture 桔梗宏孝（神戸大学大学院システム情報学研究科）
8月30日 8:40-9:10 On stability spectrum of atomic models 前園 久智(早稲田大学メディアネットワークセンター)
9:20-9:50 On stability classes of ab initio generic structures 桔梗宏孝（神戸大学大学院システム情報学研究科）
10:00-10:30 On small models 坪井明人（筑波大学数学域）
10:40-11:20 Nonstandard method for game theory 松尾亮太(名古屋大学大学院情報科学研究科)
11:20-11:40事務連絡 写真撮影など
List of Participants: Hiroshi Arai, Hirotaka Kikyo, Keishi Okamoto, Kohsaku Aoyagi, Masanori Itai, Masahiko Murakami, Tomohiro Kawakami, Kenji Fukuzaki, Yu-ichi Tanaka, Munehiro Kobayashi, Hisatomo Maesono, Kazuma Ikeda, Ayana Hirata, Takahisa Fujita, Makoto Yanagawa, Nobuaki Ikeda, Kentaro Wakai, Hisashi Aratake, Akito Tsuboi, Akira Nagumo, Kazunari Takemori, Takehiro Naito, Hidetoshi Baba

Last Modified: 08/31/2012 連絡先: tsuboi (a) math.tsukuba.ac.jp