Institute for Mathematical Sciences

Friday, 08 Sep 2017

09:20am - 11:00amActivities held in conjunction with
Workshop on Classical Computability Theory (4 - 8 September 2017)
11:00am - 12:00pm


(PDF) (Video)

Joerg Brendle
Kobe University, Japan
12:00pm - 02:00pmLunch Reception at IMS
02:00pm - 03:00pm

Can we fish with Mathias forcing ?

(PDF) (Video)

Ludovic Patey
Centre National De La Recherche Scientifique, Institut Camille Jordan, France
03:00pm - 03:30pmCoffee Break
03:30pm - 04:30pm

Active learning of classes of recursive functions by ultrametric algorithms


Thomas Zeugmann
Hokkaido University, Japan

Saturday, 09 Sep 2017

09:20amVenue: Blk S17, Seminar Room 1, #04-06, Department of Mathematics, Faculty of Science, NUS, 10 Lower Kent Ridge Road, Singapore 119076
09:20am - 09:30amRegistration
09:30am - 10:30am

Redeveloping Takeuti-Yasumoto forcing


Satoru Kuroda
Gunma Prefectural Women's University, Japan
10:30am - 10:45amCoffee Break
10:45am - 11:45am

Gödel's program and ultimate L


Zhaokuan Hao
Fudan University, China
11:45am - 02:00pmLunch Break
02:00pm - 03:00pm

Set theoretic geologies


Toshimichi Usuba
Waseda University, Japan
03:00pm - 03:30pmCoffee Break
03:30pm - 04:15pm

Clique homological simplification problem is NP-hard


NingNing Peng
Wuhan University of Technology, China
04:15pm - 05:00pm

Dickson's lemma and weak Ramsey theory


Yasuhiko Omata
Tohoku University, Japan

Monday, 11 Sep 2017

09:20am - 02:00pmActivities held in conjunction with
Workshop on Computable Structures and Reverse Mathematics (11 - 15 September 2017)
02:00pm - 03:00pm

On the first-order part of Ramsey's theorem for pairs

(PDF) (Video)

Keita Yokoyama
Japan Advanced Institute of Science and Technology, Japan
03:00pm - 03:30pmCoffee Break
03:30pm - 04:15pm

Non-depth-first search of an AND-OR tree

(PDF) (Video)

Toshio Suzuki
Tokyo Metropolitan University, Japan