Institute for Mathematical Sciences Event Archive
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 |
Toshiyasu Arai | 12 - 19 Apr 2015 | Axiomatizing some small classes of set functions (PDF) |
Arnold Beckmann | 11 - 20 Apr 2015 | Theories for feasible set functions (PDF) |
Joerg Brendle | 6 - 13 Apr 2015 | |
Sam Buss | 11 - 18 Apr 2015 | Cobham recursive set functions (PDF) |
David Chodounský | 5 - 13 Apr 2015 | Regularity properties and derived forcing properties (PDF) |
Vincenzo Dimonte | 4 - 16 Apr 2015 | (PDF) |
Barnabas Farkas | 29 Mar - 12 Apr 2015 | Ideals, almost disjoint refinements, and mixing reals (PDF) |
Qi Feng | 4 - 11 Apr 2015 | |
Arthur James Fischer | 29 Mar - 3 Apr 2015 | Some cardinals on the right side of Cichon's diagram (PDF) |
Vera Fischer | 29 Mar - 3 Apr 2015 | The spectrum of $\kappa$-maximal cofinitary groups (PDF) |
Sy David Friedman | 27 Mar - 6 Apr 2015 12 - 17 Apr 2015 | |
Emanuele Frittaion | 18 Apr - 2 May 2015 | |
Sakae Fuchino | 29 Mar - 11 Apr 2015 | Reflection principles in terms of winning strategy of certain infinite games (PDF) |
Martin Goldstern | 5 - 12 Apr 2015 | Many cardinals on the left side of Cichon's diagram (PDF) |
Valentina Harizanov | 22 Apr - 2 May 2015 | Limit-computable categoricity of computable structures (PDF) |
Takayuki Kihara | 5 - 25 Apr 2015 | |
Peter Koepke | 30 Mar - 12 Apr 2015 | |
Wei Li | 19 Apr - 2 May 2015 | Fragments of Kripke-Platek set theory and the metamathematics of $\alpha$-recursion theory (PDF) |
Andrea Medini | 29 Mar - 12 Apr 2015 | (PDF) |
Russell Miller | 19 - 30 Apr 2015 | |
Antonio Montalban | 12 - 26 Apr 2015 | Computable structure theory and polish group actions (PDF) |
Andrey Morozov | 18 Apr - 1 May 2015 | Computable model theory over the reals: some results and problems |
Moritz Mueller | 12 - 18 Apr 2015 | |
Andre Nies | 12 - 21 Apr 2015 | The Gamma question and cardinal characteristics (PDF) |
Yinhe Peng | 5 - 11 Apr 2015 | Combinatorial properties and strong colorings (PDF) |
Jan Reimann | 26 Apr - 2 May 2015 | The topology of random graphons (PDF) |
Hiroshi Sakai | 1 - 11 Apr 2015 | Proof of SCH from reflection principles without using scales (PDF) |
Noah Schweber | 13 Apr - 2 May 2015 | Computability theory and uncountable structures (PDF) |
Victor Selivanov | 11 - 19 Apr 2015 | |
Paul Shafer | 17 Apr - 3 May 2015 | Reverse mathematics, well-quasi-orders, and noetherian spaces |
Xianghui Shi | 1 - 16 Apr 2015 | Generalized degree structures under large cardinals (PDF) |
Richard Shore | 20 - 30 Apr 2015 | |
Dima Sinapova | 6 - 12 Apr 2015 | |
Theodore Slaman | 26 Apr - 2 May 2015 | (PDF) |
Slawomir Solecki | 29 Mar - 5 Apr 2015 | Partial homogeneity of projective Fraisse limits and homogeneity of the pseudo-arc (PDF) |
Andrea Sorbi | 20 Apr - 1 May 2015 | Computably enumerable equivalence relations (PDF) |
Juris Steprans | 4 - 11 Apr 2015 | |
Jason Teutsch | 30 Mar - 30 Apr 2015 | |
Stevo Todorcevic | 5 - 11 Apr 2015 | The bounding number and the Ramsey calculus below the continuum |
Asger Toernquist | 29 Mar - 17 Apr 2015 | Definable maximal orthogonal families in the Sacks extension of L (PDF) |
Daniel Turetsky | 19 Apr - 1 May 2015 | |
Toshimichi Usuba | 1 - 11 Apr 2015 | Large regular Lindel\"of spaces with points $G_\delta$ (PDF) |
Jonathan Verner | 28 Mar - 11 Apr 2015 | (PDF) |
Andreas Weiermann | 14 - 18 Apr 2015 | |
Philip Welch | 11 - 19 Apr 2015 | (PDF) |
Gunnar Wilken | 11 - 20 Apr 2015 | Pure patterns and ordinal numbers (PDF) |
Tin Lok Wong | 11 - 18 Apr 2015 | The arithmetized completeness theorem (PDF) |
Liuzhen Wu | 5 - 19 Apr 2015 | (PDF) |
Sen Yang | 19 Apr - 1 May 2015 | |
Keita Yokoyama | 15 Apr - 1 May 2015 | Strengthened Ramsey's theorem, finitary Ramsey's theorem and their iteration (PDF) |
Teruyuki Yorioka | 29 Mar - 11 Apr 2015 | Todorcevic's fragments of Martin's axiom and a recent result due to Bagaria and Shelah (PDF) |
Liang Yu | 23 - 30 Apr 2015 | On the reals weakly low for $K$ (PDF) |
Shuguo Zhang | 29 Mar - 13 Apr 2015 | Group actions and countable dense homogeneous spaces (PDF) |
Huiling Zhu | 28 Mar - 20 Apr 2015 | |
Raghavan Dilip | 30 Mar - 30 Apr 2015 | |
7 - 29 Apr 2015 | ||
6 - 29 Apr 2015 | ||
30 Mar - 29 Apr 2015 | ||
20 Apr 2015 | ||
13 - 29 Apr 2015 | ||
27 - 29 Apr 2015 | ||
20 - 28 Apr 2015 | ||
20 - 24 Apr 2015 | ||
Yue Yang | 30 Mar - 30 Apr 2015 | |
20 - 28 Apr 2015 | ||
Diana Carolina Montoya Amaya | 29 Mar - 12 Apr 2015 | |
Jan Grebik | 4 - 11 Apr 2015 | |
Matthew Harrison-Trainor | 19 Apr - 3 May 2015 | Computable structures relative to a cone (PDF) |
Anda Tanasie | 29 Mar - 12 Apr 2015 | |
Zu Yao Teoh | 30 Mar - 30 Apr 2015 |
Organizing Committee · Visitors and Participants · Overview · Activities · Venue