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 | |
