 セミナー情報
|
|
 |
2013年 7月15日（月）～7月19日（金）
|
|
| 7月15日(月) |
■整数論セミナー 13:30--15:00【会場：合同A棟801】
休み（海の日）
|
| 7月16日(火) |
■幾何セミナー 15:00--16:30【会場：数学棟305】
休み（小野肇氏集中講義のため）
|
| 7月18日(木) |
■応用数学セミナー 15:45--18:00【会場：合同A棟801】
(1)15:45--16:45
講演者：久保 英太郎 氏（東北大学大学院理学研究科）
題目：実補間空間における指数可積分型不等式
(2)17:00--18:00
講演者：Park Sungyong 氏（東北大学大学院理学研究科）
題目：Local well-posedness and blow-up result for weakly dissipative Camassa-Holm equations
|
7月19日(金)
|
■確率論セミナー 15:30--17:00【会場：数学棟305】
講演者：田中 亮吉 氏 （東北大学原子分子材料科学高等研究機構）
題目：可解群の調和測度
■ロジックセミナー15:30-- 【会場：合同棟1201】
講演者：John Pardo 氏 （Pennsylvania State University）
題目：
講演者：横山 啓太 氏 （北陸先端科学技術大学院大学 情報科学研究科）
題目：Pi^1_1-conservative extensions of subsystems of second-order arithmetic
【概要】
For the study of reverse mathematics, (Pi^1_1-)conservation results between
two different systems are very important. Many important theorems are well-known,
e.g., WKL_0 and RCA_0^+ are Pi^1_1-conservative extensions of RCA_0. Moreover,
we can show the following: for given a Pi^1_2-theory T, there exists a
maximal Pi^1_2-theory which is Pi^1_1-conservative over T. Then, what is
the maximal extension of RCA_0, ACA_0, etc. in this sense? In this talk,
I will give a survey on this topic including Henry Towsner's resent results.
|
|
