[logic-ml] Nagoya Logic Seminar

[吉信 康夫]

皆様：

以下の要領で名古屋数学基礎論セミナーを開催します。
奮って御参加下さい。

日時：7月5日(金) 15:30-

場所：名古屋大学 全学教育棟3階 SIS5 教室
(http://www.nagoya-u.ac.jp/2012website/global-info/images/access-map/map2.pdf の地図でB4(1)の建物です。
建物内配置図は http://www.ilas.nagoya-u.ac.jp/student/lectureroom/ でご覧になれます。
SIS5 教室は3階の中央より少し北, C36の北隣にあります。)

講演者：John Pardo (ペンシルバニア州立大学, JSPSサマープログラム研究員(北陸先端大))

題： Forcing and Basis Theorems in Computability Theory

アブストラクト：The technique of forcing, primarily known for its applications in set theory, has proven to be quite useful in computability theory as well.  I will discuss how forcing is made effective in the computable sense, as well as use this technique to prove the Low Basis Theorem, the Hyper-immune free Basis Theorem, and the Cone-Avoidance Basis Theorem, all of which are due to Jockusch and Soare.

(7/2 に神戸大学で予定されている講演と概ね同内容ですのでご注意下さい。)