Institute for Mathematical Sciences

Workshop on Computability Theory and the Foundations of Mathematics

(8 - 12 Sep 2017)

Venue: IMS Auditorium
Venue: Blk S17, Seminar Room 1, #04-06, Department of Mathematics, Faculty of Science, NUS, 10 Lower Kent Ridge Road, Singapore 119076 (Sat, 9 Sep 2017)
PDF Abstracts

Activities on 8 September are held in conjunction with the Workshop on Classical Computability Theory (4 - 8 September 2017)

Activities on 11 September are held in conjunction with the Workshop on Computable Structures and Reverse Mathematics (11 - 15 September 2017)

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

Rearrangements

(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

(PDF)



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

(PDF)



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

Gödel's program and ultimate L

(PDF)



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

Set theoretic geologies

(PDF)



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

Clique homological simplification problem is NP-hard

(PDF)



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

Dickson's lemma and weak Ramsey theory

(PDF)



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