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
Joerg Brendle
Kobe University, Japan

Rearrangements

(PDF) (Video)

Chi Tat Chong
National University of Singapore, Singapore
Zhaokuan Hao
Fudan University, China

Gödel's program and ultimate L

(PDF)

Ross Horne
Nanyang Technological University, Singapore
Takayuki Kihara
Nagoya University, Japan
Satoru Kuroda
Gunma Prefectural Women's University, Japan

Redeveloping Takeuti-Yasumoto forcing

(PDF)

Ying Sheng Lam
Singapore University of Technology and Design, Singapore
Wenjuan Li
Tohoku University, Japan
Lu Liu
Central South University, China
Yasuhiko Omata
Tohoku University, Japan

Dickson's lemma and weak Ramsey theory

(PDF)

Ludovic Patey
Centre National De La Recherche Scientifique, Institut Camille Jordan, France

Can we fish with Mathias forcing ?

(PDF) (Video)

NingNing Peng
Wuhan University of Technology, China

Clique homological simplification problem is NP-hard

(PDF)

Dilip Raghavan
National University of Singapore, Singapore
Alexandra A. Soskova
Sofia University, Bulgaria
Frank Stephan
National University of Singapore, Singapore
Toshio Suzuki
Tokyo Metropolitan University, Japan

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

(PDF) (Video)

Kazuyuki Tanaka
Tohoku University, Japan
Toshimichi Usuba
Waseda University, Japan

Set theoretic geologies

(PDF)

Wei Wang
Sun Yat-Sen University, China
Guohua Wu
Nanyang Technological University, Singapore
Takeshi Yamazaki
Tohoku University, Japan
Yue Yang
National University of Singapore, Singapore
Keita Yokoyama
Japan Advanced Institute of Science and Technology, Japan

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

(PDF) (Video)

Liang Yu
National University of Singapore and Nanjing University, China
Thomas Zeugmann
Hokkaido University, Japan

Active learning of classes of recursive functions by ultrametric algorithms

(PDF)