20thAnniversaryLogo

Institute for Mathematical Sciences

Workshop on Logic and the Foundations of Mathematics

(27 - 30 Apr 2020)

Visitor List

Chi Tat Chong
National University of Singapore, Singapore
Qi Feng
Chinese Academy of Sciences, China

On a first order theory approximating theoretical economics

Sy David Friedman
University of Vienna, Vienna

The hyperuniverse, the stable core and mighty mouse

Jialiang He
Si Chuan University, China

Some open problems about selection principles in mathematics

Wei Li
National University of Singapore, Singapore
Lu Liu
Central South University, China

Some computability theoretic open question and their connection to combinatorics

Selwyn, Keng Meng Ng
Nanyang Technological University, Singapore
Dilip Raghavan
National University of Singapore, Singapore
Xianghui Shi
Beijing Normal University, China

Generalized degree structures in iterable pure extender models

Frank Stephan
National University of Singapore, Singapore
Guohua Wu
Nanyang Technological University, Singapore

Doing reverse math in group theory

Liuzhen Wu
Chinese Academy of Sciences, China

Topics on nonstationary ideals

Ruizhi Yang
Fudan University, China

A set-theoretic version of Presburger arithmetic

Yue Yang
National University of Singapore, Singapore

Some problems on computation over reals

Liang Yu
Nanjing University, China

On Luzia-(N)-property