Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
   


Enquiries

      General

      Scientific aspects


   

IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics
(1 - 5 September 2014)

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

 

Visitors and Participants

NAME & AFFILIATION

PERIOD OF VISIT

TENTATIVE TITLE OF TALK

OVERSEAS VISITORS

   

Longyun Ding
Nankai University, China
dinglongyun(AT)gmail.com

A new kind of computability theory on reals

(PDF)

Daisuke Ikegami
Kobe University, Japan
daiske.ikegami(AT)gmail.com.
ikegami(AT)people.kobe-u.ac.jp

30 Aug - 5 Sep 2014

The theory of universally Baire sets in 2^{\omega_1}

(PDF)

Wei Li
University of Vienna, Austria
wei.li(AT)univie.ac.at

27 Aug - 5 Sep 2014

Coloring on trees and Ramsey's theorem for pairs

(PDF)

Yinhe Peng
Chinese Academy of Sciences, China
pengyinhe(AT)amss.ac.cn

1 - 6 Sep 2014

Lindelöf group with non-Lindelöf square and strong negative partition relation

(PDF)

Kazuyuki Tanaka
Tohoku University, Japan
tanaka(AT)math.tohoku.ac.jp

31 Aug - 6 Sep 2014

Variants of infinite games and their strength

Toshimichi Usuba
Kobe University, Japan
usuba(AT)people.kobe-u.ac.jp

31 Aug - 6 Sep 2014

Definability of the ground model and large cardinals

(PDF)

Tin Lok Wong
University of Vienna, Austria
tin.lok.wong(AT)univie.ac.at

31 Aug - 6 Sep 2014

Beyond Peano arithmetic?

(PDF)

Takeshi Yamazaki
Tohoku University, Japan
yamazaki(AT)math.tohoku.ac.jp

31 Aug - 6 Sep 2014

Some fixed point theorems and reverse mathematics

Sen Yang
Inner Mongolia University, China
yangs05(AT)gmail.com

1 - 5 Sep 2014

Whitehead problem and ACA_0

(PDF)

Keita Yokoyama
Japan Advanced Institute of Science and Technology, Japan
y-keita(AT)jaist.ac.jp

1 - 5 Sep 2014

Termination theorem and Ramsey's theorem

(PDF)

LOCAL VISITORS

   

Yunfei Chen
National University of Singapore
yunfei_cyf(AT)hotmail.com

1 - 5 Sep 2014

Chi Tat Chong
National University of Singapore
matcct(AT)nus.edu.sg

1 - 5 Sep 2014

Randomness in the absence of full induction

Ian Herbert
National University of Singapore
mathir(AT)nus.edu.sg

1 - 5 Sep 2014

Weak lowness notions for Kolmogrov complexity

(PDF)

Alexander Kreutzer
National University of Singapore
matkaps(AT)nus.edu.sg

1 - 5 Sep 2014

Non-principal ultrafilters, program extraction and higher order reverse mathematics

(PDF)

Keng Meng Ng
Nanyang Technological University
kmng(AT)ntu.edu.sg

1 - 5 Sep 2014

Measuring the relative strength of sets of natural numbers

(PDF)

Ningning Peng
National University of Singapore
matpn(AT)nus.edu.sg

1 - 5 Sep 2014

Some properties of probability theory in reverse mathematics

(PDF)

Dilip Raghavan
National University of Singapore
raghavan(AT)math.nus.edu.sg

1 - 5 Sep 2014

On embedding certain partial orders into the P-points under Tukey and RK reducibility

(PDF)

Frank Stephan
National University of Singapore
matsfc(AT)nus.edu.sg

1 - 5 Sep 2014

The role of the axiom DOM in reverse mathematics and its applications to model inductive inference

Guohua Wu
Nanyang Technological University
guohua(AT)ntu.edu.sg

1 - 5 Sep 2014

On exact d.c.e. degrees

Yue Yang
National University of Singapore
matyangy(AT)nus.edu.sg

1 - 5 Sep 2014

Some remarks on computation on reals

(PDF)

GRADUATE STUDENTS

   

Makoto Fujiwara
Tohoku University, Japan
makoto.fujiwara.119(AT)gmail.com

31 Aug - 6 Sep 2014

Intuitionistic provability and uniformly provability in RCA

(PDF)

Shota Murakami
Tohoku University, Japan
sb0m33(AT)math.tohoku.ac.jp

31 Aug - 6 Sep 2014

Some RF-type theorems in reverse mathematics

(PDF)

Shohei Okisaka
Tohoku University, Japan
shohei.okisaka(AT)gmail.com

31 Aug - 6 Sep 2014

Expressibility of simple unary generalized quantifier

(PDF)

REGISTERED LOCAL PARTICIPANTS

   

Yi Qun Liu
National University of Singapore
a0068340(AT)nus.edu.sg

1 - 5 Sep 2014

Yong Liu
National University of Singapore
a0079819(AT)nus.edu.sg

1 - 5 Sep 2014

Dan Teng
National University of Singapore
a0047226(AT)nus.edu.sg

1 - 5 Sep 2014

Huishan Wu
Nanyang Technological University

1 - 5 Sep 2014

Mars Yamaleev
Nanyang Technological University
ymars(AT)ntu.edu.sg

1 - 5 Sep 2014

Jinhe Ye
National University of Singapore
a0091595(AT)nus.edu.sg

1 - 5 Sep 2014

 

 

Organizing Committee · Visitors and Participants · Overview · Activities · Venue

top
Best viewed with IE 7 and above