Institute for Mathematical Sciences Event Archive

IMS Graduate Summer School in Logic

Jointly organized with Department of Mathematics, NUS

(19 Jun - 7 Jul 2017)

Visitor List

Shaun Allison
Carnegie Mellon University
Paul-Elliot Angl
University Paris-Est Créteil, France

Randomness in alpha-recursion

Rosalio Artes
Mindanao State University, Philippines
Seyyede Mahsa Banihashemi
Tarbiat Modares University, Iran
David Roger Belanger
National University of Singapore, Singapore
Artem Chernikov
University of California, Los Angeles, USA

Introduction to geometric stability theory

(PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 )

Chi Tat Chong
National University of Singapore, Singapore
Sean Cotner
Pennsylvania State University, USA
Keegan Dasilva Barbosa
University of Toronto, Canada
Yun Fan
Southeastern University, China
Qi Feng
Chinese Academy of Sciences, China
Jun Le Goh
Cornell University, USA

Compositions of multi-valued functions

Zhaokuan Hao
Fudan University, China
Hiromi Ishii
University of Tsukuba, Japan
Katarzyna Wiesława Kowalik
University of Warsaw, Poland
Jędrzej Kołodziejski
University of Warsaw, Poland

Modal categoricity

Chee Loong Desmond Lau
National University of Singapore, Singapore
Jin Lee
Imperial College London, UK
Steffen Lempp
University of Wisconsin, USA

Computable model theory

(Notes)

Wei Li
National University of Singapore, Singapore
Lu Liu
Central South University, China
Yiqun Liu
National University of Singapore, Singapore
Yong Liu
National University of Singapore, Singapore
Yanyuan Luo
Fudan University, China
Mina Mohammadian
University of Tabriz, Iran
James Moody
UC Berkeley, USA
David Nichols
University of Connecticut, USA
Sabrina Ouazzani
Paris-Est Créteil University, France

Infinite time Turing machines, an introduction to gaps

Cheng Peng
National University of Singapore, Singapore
Weng Kin San
University of Oxford, UK
Pengshu Shan
Fudan University
Xianghui Shi
Beijing Normal University, China
Theodore A. Slaman
The University of California, Berkeley, USA

Fragments of arithmetic and their models

Shichang Song
Beijing Jiaotong University, China
Frank Stephan
National University of Singapore, Singapore
Zu Yao Teoh
Universiti Sains Malaysia, Malaysia

Introduction to ramsey algebras

Bartosz Wcisło
University of Warsaw, Poland

Definability of omega in models of n-definable elements

W. Hugh Woodin
Harvard University, USA

The universe of sets and Ultimate L

Guohua Wu
Nanyang Technological University , Singapore
Yuexuan Wu
Nanjing University, China
Han Xiao
Chinese Academy of Science, China
Ruofei Xie
Nanjing University, China
Naoki Yamaura
University of Tsukuba, Japan
Yue Yang
National University of Singapore, Singapore
Zhixing You
Chinese Academy of Sciences, China
Liang Yu
National University of Singapore and Nanjing University, China
Ping Yu
Nankai University, China

Reductions on equivalence relations generated by universal sets

Jiachen Yuan
Chinese Academy of Science, China
Teng Zhang
Beijing Normal University, China
Xiaoyu Zhao
Peking University, China