Sendai Logic School 2014 at Tokyo Tech

本年度のSLSは、逆数学および関連分野で活躍する研究者の方々に主に大学院生を対象として自身の研究について講演していただく講義形式の勉強会です。 (参加のための事前登録は不要です。当日お越しいただければ聴講可能です。) ( English version is HERE. )
本勉強会に関するご質問・お問い合わせは sendailogicschool[at] までお願いします。


2014年のSendai Logic Schoolは、多くの方々の援助の元、盛況のうちに終えることができました。特に講演者の、
S. G. Simpson先生、
P. Shafer先生、
Wei Wang先生、
Keng Meng Ng先生、


  • (03/03) スライドと謝辞を更新しました。
  • (02/28) 勉強会の様子を公開しました。
  • (02/20) アブストラクトを更新しました。
  • (02/06) 懇親会情報を更新しました。
  • (02/06) アブストラクトを更新しました。
  • (01/28) 懇親会情報を更新しました。(参加希望の方は必ずご確認下さい)
  • (01/28) 開催場所を更新しました。
  • (01/24) サイトを公開しました。

日程・場所 (Date, Place)

2014年 2月 21日 (金)
東京工業大学 大岡山キャンパス 西9号館W933講義室 (地図)

勉強会の様子 (Photos)

講師 (Lecturers)

  • Stephen G. Simpson (Pennsylvania State University)
  • Paul Shafer (Ghent University)
  • Wei Wang (Sun Yat-sen University)
  • Keng Meng Ng (Nanyang Technological University)

プログラム・アブストラクト (Timetable, Abstracts)

10:00 - 11:00 Stephen G. Simpson
11:00 - 11:15 休憩 (集合写真撮影)
11:15 - 12:15 Paul Shafer
12:15 - 13:45 昼食休憩
13:45 - 14:45 Wei Wang
14:45 - 15:00 休憩
15:00 - 16:00 Keng Meng Ng
16:00 - 16:30 休憩
16:30 - 18:00 プロブレムセッション

Stephen G. Simpson

Reverse mathematics and Hilbert's Program [slides]
I will make some remarks concerning reverse mathematics and its application to Hilbert's foundational program of finitistic reductionism. My thesis is that, in order for a piece of mathematics to be finitistically reducible, its proof-theoretic strength must be no greater than that of PRA (= Primitive Recursive Arithmetic). Reverse Mathematics has been very useful for determining which theorems are reducible to PRA in this sense. I will mention some old and new theorems of this kind.

Paul Shafer

Studying the role of induction axioms in reverse mathematics [slides]

Wei Wang

Probabilistic arguments in reverse mathematics [slides]

Keng Meng Ng

A survey on recent work involving arithmetical level equivalence relations [slides]
In this talk we will explore some recent results in the study of low-level equivalence relations on the natural numbers. A Sigma^0_n equivalence relation R is universal if for every Sigma^0_n equivalence relation S, S is reducible to R. we explore properties of the universal Sigma^0_1 equivalence relations. We also talk about the problem of finding complete equivalence relations at higher levels of the arithmetical hierarchy. Finally we introduce a reducibility between equivalence relations which we argue is sometimes more natural than the standard computable reducibility.

懇親会 (Dinner party)

終了後に懇親会を予定しております。参加を希望される方は2月7日17時 2月9日までに、 sendailogicschool[at] までご連絡下さい。
場所:八吉 田町店 (site)
Computability Theory and Foundations of Mathematics 2014
Sendai Logic School 2013