Institute for Mathematical Sciences                                        Programs & Activities

 

   
 

Online registration form
   

 

Enquiries

      General

      Scientific aspects


   

Sets and Computations
(30 March - 30 April 2015)



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

 

Visitors and Participants

NAME & AFFILIATION

PERIOD OF VISIT

TENTATIVE TITLE OF TALK

OVERSEAS VISITORS

   

Toshiyasu Arai
Chiba University, Japan
tosarai(AT)faculty.chiba-u.jp

12 - 19 Apr 2015

Axiomatizing some small classes of set functions

(PDF)

Arnold Beckmann
Swansea University, UK
a.beckmann(AT)swansea.ac.uk

11 - 20 Apr 2015

Theories for feasible set functions

(PDF)

Joerg Brendle
Kobe University, Japan
brendle(AT)kurt.scitec.kobe-u.ac.jp

6 - 13 Apr 2015

Sam Buss
University of California at San Diego, USA
sbuss(AT)math.ucsd.edu

11 - 18 Apr 2015

Cobham recursive set functions

(PDF)

David Chodounský
Institute for Mathematics of the Czech Academy of Sciences, Czech Republic
david.chodounsky(AT)gmail.com

5 - 13 Apr 2015

Regularity properties and derived forcing properties

(PDF)

Vincenzo Dimonte
Kurt Gödel Research Center for Mathematical Logic, Austria
vincenzo.dimonte(AT)gmail.com

4 - 16 Apr 2015

Generic I0 at $\aleph_\omega$

(PDF)

Barnabas Farkas
Kurt Gödel Research Center for Mathematical Logic, Austria
barnabas.farkas(AT)univie.ac.at

29 Mar - 12 Apr 2015

Ideals, almost disjoint refinements, and mixing reals

(PDF)

Qi Feng
Chinese Academy of Sciences, China
qifeng(AT)math.ac.cn

4 - 11 Apr 2015

Arthur James Fischer
University of Vienna, Austria
arthur.james.fischer(AT)univie.ac.at

29 Mar - 3 Apr 2015

Some cardinals on the right side of Cichon's diagram

(PDF)

Vera Fischer
Kurt Gödel Research Center for Mathematical Logic, Austria
vfischer(AT)logic.univie.ac.at

29 Mar - 3 Apr 2015

The spectrum of $\kappa$-maximal cofinitary groups

(PDF)

Sy David Friedman
University of Vienna, Austria
sdf(AT)logic.univie.ac.at

27 Mar - 6 Apr 2015


12 - 17 Apr 2015


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

18 Apr - 2 May 2015

Sakae Fuchino
Kobe University, Japan
fuchino(AT)diamond.kobe-u.ac.jp

29 Mar - 11 Apr 2015

Reflection principles in terms of winning strategy of certain infinite games

(PDF)

Martin Goldstern
Technische Universität Wien, Austria
goldstern(AT)tuwien.ac.at

5 - 12 Apr 2015

Many cardinals on the left side of Cichon's diagram

(PDF)

Valentina Harizanov
George Washington University, USA
harizanv(AT)gwu.edu

22 Apr - 2 May 2015

Limit-computable categoricity of computable structures

(PDF)

Takayuki Kihara
Japan Advanced Institute of Science and Technology, Japan
kihara.takayuki.logic(AT)gmail.com

5 - 25 Apr 2015

"Degree spectra on a cone" for polish spaces

Peter Koepke
University of Bonn, Germany
koepke(AT)math.uni-bonn.de

30 Mar - 12 Apr 2015

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

19 Apr - 2 May 2015

Fragments of Kripke-Platek set theory and the metamathematics of $\alpha$-recursion theory

(PDF)

Andrea Medini
Kurt Gödel Research Center, Austria
andrea.medini(AT)univie.ac.at

29 Mar - 12 Apr 2015

Dropping polishness

(PDF)

Russell Miller
Queens College, USA
Russell.Miller(AT)qc.cuny.edu

19 - 30 Apr 2015

Hilbert's tenth problem for subrings of the rationals

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

12 - 26 Apr 2015

Computable structure theory and polish group actions

(PDF)

Andrey Morozov
SB RAS Sobolev Institute of Mathematics, Russia
morozov(AT)math.nsc.ru

18 Apr - 1 May 2015

Computable model theory over the reals: some results and problems

Moritz Mueller
Kurt Gödel Research Center for Mathematical Logic, Austria
moritz.mueller(AT)univie.ac.at

12 - 18 Apr 2015

Andre Nies
University of Auckland, New Zealand
andre(AT)cs.auckland.ac.nz

12 - 21 Apr 2015

The Gamma question and cardinal characteristics

(PDF)

Yinhe Peng
Chinese Academy of Sciences, China
pengyinhe(AT)gmail.com

5 - 11 Apr 2015

Combinatorial properties and strong colorings

(PDF)

Jan Reimann
Pennsylvania State University, USA
reimann(AT)math.psu.edu

26 Apr - 2 May 2015

The topology of random graphons

(PDF)

Hiroshi Sakai
Kobe University, Japan
hsakai(AT)people.kobe-u.ac.jp

1 - 11 Apr 2015

Proof of SCH from reflection principles without using scales

(PDF)

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

13 Apr - 2 May 2015

Computability theory and uncountable structures

(PDF)

Victor Selivanov
A.P. Ershov Institute of Informatics Systems, Russia
vseliv(AT)ngs.ru

11 - 19 Apr 2015

Towards the effective descriptive set theory

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

17 Apr - 3 May 2015

Reverse mathematics, well-quasi-orders, and noetherian spaces

Xianghui Shi
Beijing Normal University, China
shi.bnu(AT)gmail.com

1 - 16 Apr 2015

Generalized degree structures under large cardinals

(PDF)

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

20 - 30 Apr 2015

On the jumps of the degrees below an r.e. degree

Dima Sinapova
University of Illinois at Chicago, USA
sinapova(AT)math.uic.edu

6 - 12 Apr 2015

Prikry forcing and square properties

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

26 Apr - 2 May 2015

On normal numbers

(PDF)

Slawomir Solecki
University of Illinois at Urbana-Champaign, USA
ssolecki(AT)illinois.edu

29 Mar - 5 Apr 2015

Partial homogeneity of projective Fraisse limits and homogeneity of the pseudo-arc

(PDF)

Andrea Sorbi
Università degli Studi di Siena, Italy
sorbi(AT)unisi.it

20 Apr - 1 May 2015

Computably enumerable equivalence relations

(PDF)

Juris Steprans
York University, Canada
steprans(AT)yorku.ca

4 - 11 Apr 2015

Universal functions and universal graphs

Jason Teutsch
Ben-Gurion University, USA
teutsch(AT)cs.uchicago.edu

30 Mar - 30 Apr 2015

Stevo Todorcevic
Université Paris Diderot, University of Toronto, Canada
stevo(AT)math.toronto.edu

5 - 11 Apr 2015

The bounding number and the Ramsey calculus below the continuum

Asger Toernquist
University of Copenhagen, Denmark
asgert(AT)math.ku.dk

29 Mar - 17 Apr 2015

Definable maximal orthogonal families in the Sacks extension of L

(PDF)

Daniel Turetsky
Kurt Gödel Research Center for Mathematical Logic, Austria
daniel.turetsky(AT)univie.ac.at

19 Apr - 1 May 2015

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

1 - 11 Apr 2015

Large regular Lindel\"of spaces with points $G_\delta$

(PDF)

Jonathan Verner
Charles University, Czech Republic
jonathan.verner(AT)ff.cuni.cz

28 Mar - 11 Apr 2015

Definable semifilters and N*

(PDF)

Andreas Weiermann
Ghent University, Belgium
Andreas.Weiermann(AT)UGent.be

14 - 18 Apr 2015

Ordinal notation systems and well partial orders

Philip Welch
University of Bristol, UK
p.welch(AT)bristol.ac.uk

11 - 19 Apr 2015

Continuous transfinite Blum-Shub-Smale computations and a church-like thesis for poly-time on omega-strings

(PDF)

Gunnar Wilken
Okinawa Institute of Science and Technology, Japan
wilken(AT)oist.jp

11 - 20 Apr 2015

Pure patterns and ordinal numbers

(PDF)

Tin Lok Wong
Kurt Gödel Research Center for Mathematical Logic, Austria
tin.lok.wong(AT)univie.ac.at

11 - 18 Apr 2015

The arithmetized completeness theorem

(PDF)

Liuzhen Wu
Chinese Academy of Sciences, China
wuliuzhen(AT)gmail.com

5 - 19 Apr 2015

Tower of master conditions

(PDF)

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

19 Apr - 1 May 2015

Keita Yokoyama
Tokyo Tech University, Japan
yokoyama.k.ai(AT)m.titech.ac.jp
y-keita(AT)jaist.ac.jp

15 Apr - 1 May 2015

Strengthened Ramsey's theorem, finitary Ramsey's theorem and their iteration

(PDF)

Teruyuki Yorioka
Shizuoka University, Japan
yoriokateruyuki(AT)gmail.com

29 Mar - 11 Apr 2015

Todorcevic's fragments of Martin's axiom and a recent result due to Bagaria and Shelah

(PDF)

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

23 - 30 Apr 2015

On the reals weakly low for $K$

(PDF)

Shuguo Zhang
Sichuan University, China
zhangsg(AT)scu.edu.cn

29 Mar - 13 Apr 2015

Group actions and countable dense homogeneous spaces

(PDF)

Huiling Zhu
South China University of Technology, China
zhuhl02(AT)gmail.com

28 Mar - 20 Apr 2015

LOCAL VISITORS

   

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

30 Mar - 30 Apr 2015

Ian Herbert
National University of Singapore

7 - 29 Apr 2015

Rupert Holzl
National University of Singapore

6 - 29 Apr 2015

Alexander Kreuzer
National University of Singapore

30 Mar - 29 Apr 2015

Birzhan Moldagaliyev
National University of Singapore

20 Apr 2015

Keng Meng Ng
Nanyang Technological University

13 - 29 Apr 2015

Ning Ning Peng
National University of Singapore

27 - 29 Apr 2015

Guohua Wu
Nanyang Technological University

20 - 28 Apr 2015

Huishan Wu
Nanyang Technological University

20 - 24 Apr 2015

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

30 Mar - 30 Apr 2015

Makisim Zubkov
Nanyang Technological University

20 - 28 Apr 2015

GRADUATE STUDENTS

   

Diana Carolina Montoya Amaya
University of Vienna, Austria
dcmontoyaa(AT)gmail.com

29 Mar - 12 Apr 2015

Jan Grebik
Institute for Mathematics of the Czech Academy of Sciences, Czech Republic
greboshrabos(AT)seznam.cz

4 - 11 Apr 2015

Matthew Harrison-Trainor
University of California at Berkeley, USA
matthew.h-t(AT)berkeley.edu

19 Apr - 3 May 2015

Computable structures relative to a cone

(PDF)

Anda Tanasie
University of Vienna, Austria
tanasie_anda(AT)yahoo.com

29 Mar - 12 Apr 2015

Zu Yao Teoh
Universiti Sains Malaysia, Malaysia
teohzuyao(AT)gmail.com

30 Mar - 30 Apr 2015

 

 

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

top
Best viewed with IE 7 and above