[kisoron-ml] Prof. Yue Yang Lecture at NII Logic Seminar

[Makoto Tatsuta]

	 Prof. Yue Yang Lecture at NII Logic Seminar

Date: February 12, 2013, 14:00--16:00

Place: National Institute of Informatics, Lecture Room 1210 (12th floor)
場所: 国立情報学研究所 12階 1210室
    (半蔵門線,都営地下鉄三田線・新宿線 神保町駅または東西線 竹橋駅より徒歩5分)
    (地図 http://www.nii.ac.jp/about/access/)

Speaker: Prof. Yue Yang (National University of Singapore)

Title: The strength of Ramsey Theorem for Pairs

Abstract: 
Ramsey Theorem is a well-known theorem in combinatorics. However, a
special weak form of it (Ramsey Theorem for Pairs) has been a hot
topic in Recursion Theory and Reverse Mathematics. In this talk I will
give a survey on some recent progresses related to combinatoric
principles weaker than Ramsey's Theorem for Pairs. In particular, I
will speak about some results obtained by Chitat Chong, Ted Slaman and
me on the first order and second order arithmetical consequences of
Ramsey Theorem for Pairs.

問合せ先:
龍田 真 (国立情報学研究所)
e-mail: tatsuta at nii.ac.jp
http://research.nii.ac.jp/~tatsuta