数学基礎論若手の会 2013 プログラム



11月15日 午後
14:15  --  14:30 事務連絡
14:30  --  15:30 松田直祐 (東京工業大学)
構造規則の強さに関する考察
15:30  --  15:45 休憩
15:45  --  16:45 瀬川朗 (東京工業大学)
多次元時相論理とその公理化可能性
16:45  --  17:00 休憩
17:00  --  18:00 田中義人 (九州産業大学)
ELの代数モデル
11月16日 午前
9:00  --  10:00 岩見智宏 (九州産業大学)
リジッド幾何学に現れる双対定理を考慮した、paraconsistent logicとその層化(sheafication)について(Paraconsistent logic and its sheafication with regards to duality theorem in rigid geometry)
10:00  --  10:15 休憩
10:15  --  11:15 丸山善宏 (オックスフォード大学)
Duality, Categorical Logic, and Quantum Physics
11:15  --  11:30 休憩
11:30  --  12:30 井澤昇平 (東北大学)
合成に閉じた演算集合の分類
11月16日 午後
14:00  --  15:00 鈴木仁哉 (東北大学)
代数学の逆数学
15:00  --  15:15 休憩
15:15  --  16:15 堀畑佳宏 (米子工業高等専門学校)
逆数学と複素解析学
16:15  --  16:30 休憩
16:30  --  17:30 樋口幸治郎 (千葉大学)
理論の翻訳可能性について
11月17日 午前
9:00  --  10:00 古関恵太 (名古屋大学)
Rado's Conjecture and stationary reflection principles
10:00  --  10:15 休憩
10:15  --  11:15 田尻翔平 (大阪府立大学)
Raisonnier filter and Solovay's Problem
11:15  --  11:30 休憩
11:30  --  12:30 嘉田勝 (大阪府立大学)
もしも和集合公理がなかったら
12:30  -- 12:45 閉会

世話人

田中義人
〒813-8503
福岡市東区松香台2-3-1
九州産業大学経済学部
Fax  092-673-5919(学部共通)
E-MAIL:ytanaka@ip.kyusan-u.ac.jp

数学基礎論若手の会2013のページに戻る
最終更新:2013年11月17日