Institute for Mathematical Sciences

IMS Graduate Summer School in Logic

Jointly organized with the Department of Mathematics, NUS

(1 - 19 Jul 2019)

Visitor List

Noah Abou El Wafa
Albert-Ludwigs-Universitaet Freiburg, Germany
Navin Aksornthong
Chulalongkorn University, Thailand
Paul-Elliot Anglès d\'Auriac
Université Paris Est-Créteil, France
Chi Tat Chong
National University of Singapore, Singapore
Paolo Degiorgi
University of Illinois at Chicago, USA
Huimin Dong
Zhejiang University, China
Kuiyuan Duan
Beijing Normal University, China
Michał Tomasz Godziszewski
University of Warsaw, Poland

Computable quotient presentations of nonstandard models of arithmetic

Zhaokuan Hao
Fudan University, China
Zhengqing He
Wuhan University, China
Noah Hughes
University of Connecticut, USA

Generalizations of Hall's theorem in reverse mathematics

Josiah Jacobsen-Grocott
University of Wisconsin Madison, USA
Hayden Jananthan
Vanderbilt University Department of Mathematics, USA

Posner-Robinson for hyperjumps of Turing degrees

Shihui Kang
Shanxi University, China
Liang Kou
Fudan University, China
Derek Levinson
University of California, Los Angeles, USA
Meiying Lim
National University of Singapore, Singapore
Wei Quan Lim
National University of Singapore, Singapore
Yong Lin
Nanyang Technological University, Singapore
Lu Liu
Central South University, China
Patrick Lutz
University of California, Berkeley, USA

Descending sequences of hyperdegrees and the second incompleteness theorem

Clark Lyons
University of California, Los Angeles, USA
Angus MacIntyre
Queen Mary University of London, UK

Model theory of fields and local rings

Manat Mustafa
Nazarbayev University, Kazakhstan
Andre Nies
The University of Auckland, New Zealand

The remarkable expressivity of first-order logic in profinite groups


Random sequences of quantum bits

Cheng Peng
Nankai University, China
NingNing Peng
Wuhan University of Science and Technology, China
Guozhen Shen
Chinese Academy of Sciences, China
Theodore A. Slaman
University of California, Berkeley, USA

Real numbers and measures for which they are random

Frank Stephan
National University of Singapore, Singapore
Samuel Alfaro Tanuwijaya
National University of Singapore, Singapore
Jinghui Tao
University of Manchester, UK
Zhengyu Tao
Nankai University, China
Hanh Tran
Nanyang Technologial University, Singapore
Leonardo Vieira Pacheco Braga
Tohoku University, Japan
Lawrence Wang
McGill University/University of Essex, USA
Wei Wang
Sun Yat-sen University, China
Yi Wang
Zhejiang University, China
Tin Lok Wong
National University of Singapore, Singapore
W. Hugh Woodin
Harvard University, USA

Ultimate L

(PDF)

Guohua Wu
Nanyang Technological University, Singapore
Ruofei Xie
China
Ruizhi Yang
Fudan University, China
Sen Yang
Anshan Normal University, China
Yue Yang
National University of Singapore, Singapore
Ningyuan Yao
Fudan University, China
Jinhe Ye
University of Notre Dame, USA

A model theoretic adic space

Zhixing You
Institute of Mathematics, China
Hongyuan Yu
Jiangsu University, China
Jiachen Yuan
Chinese Academy of Sciences, China
Daniel Zackon
University of Toronto, Canada
Mladen Zekic
Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia
Kevin Zhou
University of Illinois at Chicago, USA