Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
   

 

Enquiries

      General

      Scientific aspects


   

New Challenges in Reverse Mathematics
(3 - 16 January 2016)



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

 

Visitors and Participants

NAME & AFFILIATION

PERIOD OF VISIT

TENTATIVE TITLE OF TALK

OVERSEAS VISITORS

   

Vasco Brattka
UniBW Munich, Germany
Vasco.Brattka(AT)cca-net.de

3 - 11 Jan 2016

Tutorial:

A tutorial on Weihrauch complexity

(PDF)

Lorenzo Carlucci
Sapienza University of Rome, Italy
carlucci(AT)di.uniroma1.it

6 - 23 Jan 2016

Peter Cholak
University of Notre Dame, USA
cholak(AT)nd.edu

4 - 16 Jan 2016

A theorem of Rado on monochroatic paths

(PDF)

Chris Conidis
City University of New York, USA
chris.conidis(AT)csi.cuny.edu

14 - 17 Jan 2016

Damir Dzhafarov
University of Connecticut, USA
damir(AT)math.uconn.edu

2 - 10 Jan 2016

The strength of RT^1_k

Emanuele Frittaion
Tohoku University, Japan
emanuelefrittaion(AT)gmail.com

4 - 17 Jan 2016

Brown's lemma is equivalent to Sigma02-induction

(PDF)

Marcia Groszek
Dartmouth College, USA
marcia.groszek(AT)dartmouth.edu

2 - 17 Jan 2016

Ramsey properties of partial orderings

(PDF)

Takayuki Kihara
The University of California, Berkeley, USA
kihara(AT)math.berkeley.edu

4 - 16 Jan 2016

Weak choice principles in the Weihrauch degrees

(PDF)

Ulrich Kohlenbach
Technische Universitaet Darmstadt, Germany
kohlenbach(AT)mathematik.tu-darmstadt.de

3 - 16 Jan 2016

Logical analysis of proofs in convex optimization and nonlinear semigroup theory that are based on WKL or ACA

(PDF)

Steffen Lempp
University of Wisconsin-Madison, USA
lempp(AT)math.wisc.edu

3 - 15 Jan 2016

Wei Li
Kurt Gödel Research Center for Mathematical Logic, Austria
wei.li(AT)univie.ac.at

4 - 5 Jan 2016

Lu Liu
Central South University, China
g.jiayi.liu(AT)gmail.com

2 - 16 Jan 2016

On cone avoid result under certain combinatorial condition

(PDF)

Alberto Marcone
Universita' di Udine, Italy
alberto.marcone(AT)uniud.it

3 - 11 Jan 2016

Joseph Mileti
Grinnell College, USA
miletijo(AT)grinnell.edu

5 - 15 Jan 2016

Antonio Montalban
The University of California, Berkeley, USA
antonio(AT)math.berkeley.edu

9 - 16 Jan 2016

Carl Mummert
Marshall University, USA
mummertc(AT)marshall.edu

5 - 15 Jan 2016

Michael Rathjen
University of Leeds, UK
rathjen(AT)maths.leeds.ac.uk

4 - 10 Jan 2016

Bounds for the strength of the graph minor theorem

(PDF)

Sam Sanders
Ludwig-Maximilians-Universität München, Germany
sasander(AT)me.com

7 - 17 Jan 2016

The unreasonable effectiveness of Nonstandard Analysis and Reverse Mathematics

(PDF)

Paul Shafer
Ghent University, Belgium
Paul.Shafer(AT)UGent.be

4 - 17 Jan 2016

Reverse mathematics and the strong Tietze extension theorem

(PDF)

Richard Shore
Cornell University, USA
shore(AT)math.cornell.edu

4 - 15 Jan 2016

Stephen Simpson
Pennsylvania State University, USA
simpson(AT)math.psu.edu

3 - 9 Jan 2016

The reverse mathematics of some finiteness theorems in algebra

(PDF)

Theodore A. Slaman
The University of California, Berkeley, USA
slaman(AT)math.berkeley.edu

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

12 - 19 Jan 2016

Determinacy strength of infinite games in omega-languages recognized by variations of automata

(PDF)

Henry Towsner
University of Pennsylvania, USA
htowsner(AT)gmail.com

2 - 12 Jan 2016

Andreas Weiermann
Ghent University, Belgium
andreas.weiermann(AT)ugent.be

6 - 12 Jan 2016

Generalized Goodstein sequences

(PDF)

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

10 - 17 Jan 2016

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

9 - 12 Jan 2016

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

3 - 19 Jan 2016

The proof-theoretic strength of Ramsey's theorem for pairs

(PDF)

Liang Yu
Nanjing University, China
yuliang.nju(AT)gmail.com

2 - 16 Jan 2016

Yuliya Zelenyuk
University of Witwatersrand, South Africa
yuliya.zelenyuk(AT)wits.ac.za

2 - 17 Jan 2016

Symmetries and colorings of groups

LOCAL VISITORS

   

David Belanger
National University of Singapore
imsdrb(AT)nus.edu.sg

3 - 16 Jan 2016

Recursion theory over a model

(PDF)

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

3 - 16 Jan 2016

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

3 - 16 Jan 2016

Guolin Li
Nanyang Technological University

4 Jan 2016

Yiqun Liu
National University of Singapore
dabainiu(AT)gmail.com

3 - 16 Jan 2016

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

4 - 14 Jan 2016

Ning Ning Peng
National University of Singapore

7 Jan 2016

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

3 - 16 Jan 2016

An overview on recent results on semiautomatic groups and semigroups

(PDF)

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

3 - 16 Jan 2016

A survey on Q-degrees

(PDF)

Huishan Wu
Nanyang Technological University

4 Jan 2016

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

3 - 16 Jan 2016

Makisim Zubkov
Nanyang Technological University
mzubkov(AT)ntu.edu.sg

4 - 14 Jan 2016

GRADUATE STUDENTS

   

Jun Le Goh
Cornell University, USA
jg878(AT)cornell.edu

3 - 16 Jan 2016

Yong Liu
National University of Singapore
liuyong0112(AT)hotmail.com

3 - 16 Jan 2016

Ludovic Patey
Université Paris Diderot Paris 7, France
ludovic.patey(AT)computability.fr

2 - 16 Jan 2016

Ramsey's theorem and compactness

(PDF)

Cheng Peng
National University of Singapore
a0110097(AT)u.nus.edu

3 - 16 Jan 2016

Noah Schweber
The University of California, Berkeley, USA
schweber(AT)berkeley.edu

3 - 16 Jan 2016

Higher reverse mathematics and determinacy principles

(PDF)

Jason Teutsch
National University of Singapore
teutsch(AT)comp.nus.edu.sg

3 - 16 Jan 2016

 

 

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

top
Best viewed with IE 7 and above