Institute for Mathematical Sciences

Workshop on Computability Theory and the Foundations of Mathematics

(8 - 12 Sep 2017)

Visitor List

David Belanger
National University of Singapore, Singapore
8 - 12 Sep 2017
Joerg Brendle
Kobe University, Japan
3 - 13 Sep 2017

Rearrangements

(PDF) (Video)

Chi Tat Chong
National University of Singapore, Singapore
8 - 12 Sep 2017
Zhaokuan Hao
Fudan University, China
7 - 13 Sep 2017

Gödel's program and ultimate L

(PDF)

Ross Horne
Nanyang Technological University, Singapore
11 - 15 Sep 2017
Takayuki Kihara
Nagoya University, Japan
27 Aug - 13 Sep 2017
Satoru Kuroda
Gunma Prefectural Women's University, Japan
7 - 12 Sep 2017

Redeveloping Takeuti-Yasumoto forcing

(PDF)

Ying Sheng Lam
Singapore University of Technology and Design, Singapore
8 - 12 Sep 2017
Wenjuan Li
Tohoku University, Japan
7 - 12 Sep 2017
Lu Liu
Central South University, China
4 - 15 Sep 2017
Yasuhiko Omata
Tohoku University, Japan
7 - 12 Sep 2017

Dickson's lemma and weak Ramsey theory

(PDF)

Ludovic Patey
Centre National De La Recherche Scientifique, Institut Camille Jordan, France
27 Aug - 16 Sep 2017

Can we fish with Mathias forcing ?

(PDF) (Video)

NingNing Peng
Wuhan University of Technology, China
8 - 16 Sep 2017

Clique homological simplification problem is NP-hard

(PDF)

Dilip Raghavan
National University of Singapore, Singapore
8 - 12 Sep 2017
Alexandra A. Soskova
Sofia University, Bulgaria
3 - 16 Sep 2017
Frank Stephan
National University of Singapore, Singapore
3 - 16 Jan 2016
Toshio Suzuki
Tokyo Metropolitan University, Japan
8 - 12 Sep 2017

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

(PDF) (Video)

Kazuyuki Tanaka
Tohoku University, Japan
6 - 11 Sep 2017
Toshimichi Usuba
Waseda University, Japan
7 - 13 Sep 2017

Set theoretic geologies

(PDF)

Wei Wang
Sun Yat-Sen University, China
10 - 16 Sep 2017
Guohua Wu
Nanyang Technological University, Singapore
8 - 12 Sep 2017
Takeshi Yamazaki
Tohoku University, Japan
10 - 16 Sep 2017
Yue Yang
National University of Singapore, Singapore
8 - 12 Sep 2017
Keita Yokoyama
Japan Advanced Institute of Science and Technology, Japan
11 - 13 Sep 2017

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

(PDF) (Video)

Liang Yu
National University of Singapore and Nanjing University, China
8 - 12 Sep 2017
Thomas Zeugmann
Hokkaido University, Japan
7 - 13 Sep 2017

Active learning of classes of recursive functions by ultrametric algorithms

(PDF)