皆様，

以前にもご案内しましたが，2016年9月26日（月）から29日（木）まで， RIMS 研究集会「数学基礎論とその応用」を開催しますのでお知らせします． http://www2.kobe-u.ac.jp/~mkikuchi/mla2016.html 事前登録なしで参加できます．また，以下の要領で懇親会を開きます．

日時：2016年9月28日（水）午後6時から 会場：マーブル ルーム https://www.hotpepper.jp/strJ000040535/ 場所：京都府京都市中京区先斗町通三条下ル橋下町135先斗町ビル4F 交通：京阪三条駅から徒歩5分，阪急河原町駅から徒歩10分 内容：立食（飲み放題） 会費：3,000円（当日会場で支払い）

8月に研究集会への参加申し込みをお送り下さった方で，懇親会への出欠の 変更のない方はご連絡くださる必要はありません．出欠を変更される方， 未定とお答えになられた方，また，参加申し込みをなさっていない方で 懇親会への出席をご希望の方は，2016年9月24日（土）までに，研究代表者 （菊池）宛に件名「mla2016」として e-mail でご連絡ください．

なお，本研究集会は研究交流を目的とするものですが，学部学生を含む 学生の方の研究集会および懇親会への参加を歓迎します．午前中の講演は 全て日本語です．ご興味をお持ちの方はご遠慮なくご参加ください．

菊池誠

記

RIMS研究集会　数学基礎論とその応用

日時：2016年9月26日(月)11:00 ~ 9月29日(木)15:00 場所：京都大学数理解析研究所111室 研究代表者：菊池誠(神戸大)[email protected]

プログラム：

9月26日(月)

11:00-11:50 宮元忠敏(南山大) 集合論で試される構造と構成のいくつか 13:30-14:20 Joel David Hamkins(CUNY) The Modal Logic of Set-Theoretic Potentialism 14:30-15:20 樋口幸治郎(日大工) Computably Represented Structures 15:30-16:20 竹内耕太(筑波大) Properties Characterized by Generalized Indiscernible

9月27日(火)

10:00-10:50 新井敏康(千葉大) 角田先生, 証明論を分かって下さい 11:00-11:50 板井昌典(東海大) 1980年代半ば,米国中西部のモデル理論,そして未来-モデル理論賛歌 13:30-14:20 Frank Wager (Lion 大) Recent Interactions between Model Theory and Combinatorics 14:30-15:20 横山啓太(JAIST) On the Proof-Theoretic Strength of Ramsey's Theorem for Pairs 15:30-16:20 丸山善宏(京大) Dynamics of Duality: How Duality Emerges, Changes, and Breaks

9月28日(水)

10:00-10:50 向井国昭(慶応大) Barwiseのモデル論的意味論の周辺と抽象設計学 11:00-11:50 金井康雄(大和大) 公理的集合論の一角を彷徨って 13:30-14:20 Bakh Khoussainov(Auckland 大/京都大) Computably Enumerable Structures: Domain Dependence 14:30-15:20 星野直彦(京都大) Geometry of Interaction and Higher Order Functions 15:30-16:20 Diego Mejia(静岡大) Several Values in Cichon's Diagram

9月29日(木)

10:00-10:50 佐藤洋祐(東理大) 限量子記号消去アルゴリズムとその計算の現状について 11:00-11:50 隈部正博(放送大) Generic Sets の Turing Degrees について 13:30-14:20 Philip Welch(Bristol 大) Generalised Squares and Higher Stationarity