Institute for Mathematical Sciences

IMS Graduate Summer School in Logic

Jointly organized with Department of Mathematics, NUS

(18 Jun - 6 Jul 2018)

Visitor List

Jiaqi Bao
Fudan University, China
Jinglun Cai
University of Barcelona, Spain

Two consequences of the hugeness

Justin Cavitt
Harvard University, USA
Zoé Chatzidakis
Ecole Normale Supérieure, France

Model theory of finite and pseudo-finite fields

(PDF)

Nicolas Chavarria Gomez
University of Notre Dame, USA
Chi Tat Chong
National University of Singapore, Singapore
Mingyang Dai
Capital Normal University, China
Qi Feng
Chinese Academy of Sciences, China
Marta Fiori Carones
Università di Udine, Italy
Ziyuan Gao
National University of Singapore, Singapore
Jun Le Goh
Cornell University, USA

Some reductions between theorems around ATR

Zhaokuan Hao
Fudan University, China
Batoul Heshmati
Amirkabir University of Technology, Iran
Adam Izdebski
University of Warsaw, Poland
Ziemowit Kostana
University of Warsaw & Institute of Mathematics, Czech Academy of Sciences, Poland

Non-measurability of the algebraic sums of sets of real numbers

Katarzyna Wieslawa Kowalik
University of Warsaw, Poland
Jiaming Li
Nankai University, China
Wei Li
National University of Singapore, Singapore
Wenjuan Li
Nanyang Technological University, Singapore
Wei Quan Lim
National University of Singapore, Singapore
Jixin Liu
Peking University, China and University of California, Berkeley, USA
Patrick Lutz
University of California, Berkeley, USA
Zehao Lyu
Fudan University, China
Yuki Mizusawa
Tokyo Metropolitan University, Japan
Muhammad Farhan Mohd Nasir
University of Malaya, Malaysia
Guozhen Shen
Chinese Academy of Sciences, China

Factorials of infinite cardinals in ZF

Xianghui Shi
Beijing Normal University, China
Theodore A. Slaman
University of California, Berkeley, USA

Measure, dimension and computability

Giovanni Soldà
University of Leeds, UK
Frank Stephan
National University of Singapore, Singapore
Xiuyuan Sun
Nanjing University, China
Zu Yao Teoh
Universiti Sains Malaysia, Malaysia
Hong Hanh Tran
Nanyang technological university, Singapore
Minh Chieu Tran
University of Illinois at Urbana Champaign, USA

Interpolative fusions

Manlio Valenti
University of Udine, Italy
Tin Lok Wong
National University of Singapore, Singapore
W. Hugh Woodin
Harvard University, USA

Generalizing Gödel’s Constructible Universe

(PDF 1, PDF 2, PDF 3)

Han Xiao
Chinese Academy of Sciences, China
Tianyi Xu
National University of Singapore, Singapore
Ruizhi Yang
Fudan University, China
Yue Yang
National University of Singapore, Singapore
Zhixing You
The Chinese Academy of Sciences, China
Liang Yu
Nanjing University, China
Jiachen Yuan
Chinese Academy of Sciences, China

Factorials of infinite cardinals and finite-to-one maps

Teng Zhang
Beijing Normal University, China
Huiling Zhu
Sun Yat-sen University, China