日本語ページはこちら
Sendai Logic School 2016 at Tohoku University is a winter school on computability theory and related fields.
Several tutorial lectures will be given for graduate students and novice researchers.
Admission is free, but please book by e-mail.
If you have any questions, please free to ask us at "sendailogicschool[at]gmail.com".
[15/12/01] Our web site open.
[16/01/22] Timetable open.
[16/02/01] Slides & photos upload.
28 January (Thursday) - 29 January (Friday)
Tohoku University, Aobayama Campus, Science Complex C
[CAMPUS MAP]
1/28
|
10:00-10:30
|
Registration
|
10:30-11:30
|
Wu, Guohua
Automatic Sequences and Transcendence of Real Numbers
[Slide]
|
11:30-13:30
|
Lunch
|
13:30-14:30
|
Montalbán, Antonio
Vaught's conjecture in computability theory
[Slide]
|
14:30-14:45
|
Break Time
|
14:45-15:45
|
Yang Yue
Seetapun's theorem revisited
[Slide]
[Abstract] In the study of Ramsey's Theorem in reverse mathematics, Seetapun's result(s) in 1995
played an important role. He developed a new technique for cone avoiding and showed
that Ramsey's Theorem for pairs does not imply ACA0. In this talk, I will present a proof
of his theorem. Based on some ideas obtained from later studies, this proof is more friendly
to graduate students.
|
15:45-16:00
|
Break Time
|
16:00-17:00
|
Discussion on Game Trees
|
1/29
|
10:00-10:30
|
Registration
|
10:30-11:30
|
Emanuele Frittaion
Brown's lemma in reverse mathematics
[Slide]
|
11:30-13:30
|
Lunch
|
13:30-14:30
|
Florian Pelupessy
How to prove it: Phase transitions in logic
[Slide]
[Abstract] Using the example of Dickson's lemma, we show how to prove phase transition results
in independence, including the sharpening results. This talk will be suitable for graduate students.
|
14:30-14:45
|
Break Time
|
14:45-15:45
|
Montalbán, Antonio
Analytic equivalence relations with \aleph_1-many classes:A computability theoretic approach
[Slide]
|
15:45-16:00
|
Break Time
|
16:00-17:00
|
Free Discussion
|
Montalbán, Antonio (U.C.Berkeley)
Yang, Yue (NUS, Singapore)
Wu, Guohua (NTU, Singapore)
[SLS2013]
--http://sendailogic.math.tohoku.ac.jp/SLS/
[SLS2014]
--http://www.sendailogic.com/SLS2014/
[SLS2015]
--http://www.math.tohoku.ac.jp/~tanaka/SLS2015.html
[JSPS-NUS Workshop 2015]
--http://www.math.tohoku.ac.jp/~tanaka/kanazawa2015.html
[CTFM series]
--http://www.jaist.ac.jp/CTFM/CTFM_SERIES/
Organizer : Kazuyuki Tanaka (Tohoku University)
Contact : sendailogicschool[at]gmail.com
Partially Supported by: JSPS-FWO Bilateral Program and
Grants-in-Aid for Scientific Research (KAKENHI) 26540001 & 15H03634.
|