<div dir="ltr">各位<div><br>神戸大学の桔梗です。</div><div>数学基礎論サマースクールを次の要領で開催いたします。</div><div>今年のテーマはモデル理論です。大勢のご参加をお待ちしております。</div><div><br></div>期間：2016年9月5日（月）から2016年9月7日（水）<br>場所：早稲田大学西早稲田キャンパス　５２号館１０１教室<br>〒169-0072 東京都新宿区 大久保３丁目４−１<div><br></div><div>スケジュールをほぼ確定いたしました。次のリンクをご覧ください。</div><div><a href="https://sites.google.com/site/logicsummerschool2016/">https://sites.google.com/site/logicsummerschool2016/</a><br></div><div><br></div><div>現在の内容は次の通りです。</div><div><h1 style="font-family:"Open Sans";color:rgb(97,97,97)">数学基礎論サマースクール2016</h1><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><div><div>日本数学会数学基礎論および歴史分科会の運営委員会でテーマを決めて開催されている研究集会です。2016年はモデル理論がテーマです。今回は主要と思われるトピックスから４種類を選んで紹介いたします。最初にモデル理論の入門にあたる話題を話してもらいます。<br><br>初日は午前中から、最終日も午後まで行う予定です。</div><div>なお、一般講演の募集は行いません。<br><br></div><b>期間：2016年9月5日（月）から2016年9月7日（水）<br>場所：早稲田大学西早稲田キャンパス　５２号館１０１教室<br></b><b>〒169-0072 東京都新宿区 大久保３丁目４−１<br><br>世話人：</b><br>桔梗　宏孝（神戸大学）　<b>問い合わせ先： <a href="mailto:kikyo@kobe-u.ac.jp">kikyo@kobe-u.ac.jp</a> (桔梗宏孝)</b><br>江田　勝哉(早稲田大学)<br>薄葉　季路(早稲田大学)<br></div><div><br><b> テーマ：</b><br><b><b>モデル理論入門　担当：坪井明人（筑波大学）</b><br></b></div></div><b style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">順序極小理論と数論　担当：板井昌典（東海大学）</b><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><b style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><b>付値体のモデル理論の系譜　担当：桔梗宏孝（神戸大学）</b><br>フルショフスキの融合法　担当：池田宏一郎（法政大学）<br></b><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><b style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">スケジュール（案）</b><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><b>9月5日月曜日</b></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">10:00-10:10　注意事項</div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">10:10-11:00　モデル理論入門　（坪井明人）</div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">11:10-12:00　モデル理論入門　（坪井明人）<br>（昼休み）</div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">14:00-14:50　モデル理論入門　（坪井明人）</div><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">15:00-15:50　順序極小理論と数論　（板井昌典）</span><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">16:00-16:50　順序極小理論と数論　（板井昌典）</span><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent"><br><b>9月6日火曜日<br></b></span>09:00-09:50 付値体のモデル理論の系譜　（桔梗宏孝）</div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">10:00-10:50<span style="line-height:1.5;background-color:transparent"> </span><span style="line-height:1.5;background-color:transparent">付値体のモデル理論の系譜　（桔梗宏孝）</span></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent">11:00-11:50 フルショフスキの融合法　（池田宏一郎）</span></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent">（昼休み）<br>14:00-14:50</span><span style="line-height:1.5;background-color:transparent"> </span><span style="line-height:1.5;background-color:transparent">フルショフスキの融合法　（池田宏一郎）</span></div><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">15:00-15:50　順序極小理論と数論　（板井昌典）</span><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">16:00-16:50　順序極小理論と数論　（板井昌典）</span><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent"><br></span></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent"><b>9月7日水曜日</b></span></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent">09:00-09:50 フルショフスキの融合法　（池田宏一郎）<br>10:00-10:50</span><span style="line-height:1.5;background-color:transparent"> </span><span style="line-height:1.5;background-color:transparent">フルショフスキの融合法　（池田宏一郎）<br></span><div>11:00-11:50 付値体のモデル理論の系譜　（桔梗宏孝）</div><div>12:00-12:50<span style="line-height:1.5;background-color:transparent"> </span><span style="line-height:1.5;background-color:transparent">付値体のモデル理論の系譜　（桔梗宏孝）</span></div></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">（終了）<br><br><b>概要(案)<br>モデル理論入門　（坪井明人）</b></div><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">1. 言語，構造，モデル</span><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">2. コンパクト性定理</span><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">3. 大きなモデルと小さなモデルの構成</span><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">4. 不安定な理論</span><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><b><br></b></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><b>順序極小理論と数論　（板井昌典）</b><br>1. <span style="line-height:1.5;background-color:transparent">順序極小構造と順序極小理論, RCF について</span></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent">2. </span><span style="line-height:1.5;background-color:transparent">Monotonicity Theorem, Cell Decomposition<br>3. </span><span style="line-height:1.5;background-color:transparent">Wilkie の結果(R_exp に関するもの）</span></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent">4. </span><span style="line-height:1.5;background-color:transparent">Pilla-Wilkie Counting Theorem</span></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="line-height:1.5;background-color:transparent"><br></span></div><div style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><b>付値体のモデル理論の系譜　（桔梗宏孝）</b></div><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">1. Ax-Kochen-Ersovの定理 (p進閉体と有限素体係数のローラン級数体の類似性)</span><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">2. MacintireのQE, Cell-Decomposition, ポアンカレ級数の有理性</span><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">3. Denef-PasのQEと Igusa Zeta関数の有理性</span><br style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px"><span style="color:rgb(97,97,97);font-family:"Open Sans";font-size:14px;line-height:21px">4. Motivic Integration</span><br></div></div>