2016: Seminar talks
(See current talks) | ||||||||||||||||||||
2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | 2020 |
2016‑01‑07 | David Schrittesser (University of Copenhagen, Denmark) | Maximal discrete sets with large continuum | |
2016‑01‑14 | Leszek Kołodziejczyk (University of Warsaw, Poland) | How unprovable is Rabin's decidability theorem? | |
2016‑01‑21 | Ari Brodsky (Bar-Ilan University, Tel Aviv, Israel) | Custom-made Souslin trees | |
2016‑02‑11 | Keita Yokoyama (Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan and University of Berkeley, California, USA) | The proof-theoretic strength of Ramsey's theorem for pairs and two colors | |
2016‑03‑03 | Yann Pequignot (KGRC) | From well to better, the space of ideals | |
2016‑03‑10 | Sy-David Friedman (KGRC) | Descriptive Set Theory and Absoluteness | |
2016‑03‑17 | Ben Miller (KGRC) | A basis theorem for the complement of the first Baire class | |
2016‑04‑07 | Radek Honzík (Charles University in Prague, Czech Republic) | The tree property and the continuum function below $\aleph_\omega$ | |
2016‑04‑14 | Yue Yang (National University of Singapore, Singapore) | A Normal Form Theorem of Computation on Real Numbers | |
2016‑04‑21 | Jerzy Kąkol (Adam Mickiewicz University Poznań, Poland) | Selected topics for the weak topology of Banach spaces | |
2016‑04‑28 | Jan van Mill (University of Amsterdam, The Netherlands) | The existence of a connected meager in itself CDH space is independent of ZFC | |
2016‑05‑12 | Anush Tserunyan (University of Illinois at Urbana-Champaign, USA) | Differentiation of subsets of semigroups, a Ramsey theorem, and a van der Corput lemma | |
2016‑05‑13 | Paul Gartside (University of Pittsburgh, Pennsylvania, USA) | Neighborhoods, Compacta and the Tukey Order | |
2016‑05‑19 | Otmar Spinas (Christian-Albrechts-Universität zu Kiel, Schleswig-Holstein, Germany) | Tukey relations between the Mycielski and the meager and null ideals | |
2016‑06‑02 | David Chodounský (Academy of Sciences of the Czech Republic, Prague) | Forcing variations of the Martin's Axiom | |
2016‑06‑09 | Sandra Uhlenbrock (Westfälische Wilhelms-Universität Münster, Germany) | Hybrid Mice and Determinacy in the $L(\mathbb{R})$-hierarchy | |
2016‑06‑16 | Neil Barton (KGRC) | (Sub)systems of second-order set theory | |
2016‑06‑28 | Peter Nyikos (University of South Carolina, Columbia, USA) | A forcing built around a coherent Souslin tree and its uses for normal, locally compact spaces | |
2016‑06‑30 | Rachid Atmai (KGRC) | Descriptive inner model theory and consistency results in ZFC from determinacy | |
2016‑07‑14 | Arnold W. Miller (University of Wisconsin - Madison, USA) | On the length of Borel hierarchies | |
2016‑10‑03 | Ján Pich (KGRC) | Complexity theory in feasible mathematics | |
2016‑10‑13 | Daniel Soukup (KGRC) | Some graph theory from the Rockies | |
2016‑10‑20 | Piotr Szewczak (Cardinal Stefan Wyszynski University in Warsaw, Poland) | Products of Menger spaces | |
2016‑10‑27 | Boaz Tsaban (Bar-Ilan University, Tel Aviv, Israel) | On the existence of real Fréchet-Urysohn function spaces | |
2016‑11‑03 | Raphaël Carroy (KGRC) | Linear orders: when embedding and epimorphism coincide | |
2016‑11‑10 | Damian Sobota (KGRC) | On the choice in Rosenthal's lemma | |
2016‑11‑17 | Andrea Medini (KGRC) | The topology of filters | |
2016‑11‑24 | Tin Lok Wong (KGRC) | ACT forcing | |
2016‑12‑01 | Sandra Uhlenbrock (KGRC) | $\operatorname{HOD}^{M_n(x,g)}$ is a core model |