2017: 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 |
2017‑01‑12 | Riccardo Camerlo (Politecnico di Torino, Italy) | The density function: some remarks, results, and open problems | |
2017‑01‑19 | Leandro Aurichi (University of São Paulo, Brazil) | A characterization for productively ccc spaces | |
2017‑01‑26 | Michal Garlík (Czech Academy of Sciences) | Bounded arithmetic and restricted reduced products | |
2017‑03‑02 | Brent M. Cody (Virginia Commonwealth University, Richmond, USA) | Rigid Ideals | |
2017‑03‑09 | Yizheng Zhu (Universität Münster, Germany) | Projective sets and inner models | |
2017‑03‑16 | Vassilis Gregoriades (University of Turin, Italy) | The Dyck and Preiss Separation Uniformly | |
2017‑03‑23 | Michał Tomasz Godziszewski (University of Warsaw, Poland) | Computable quotient presentations of models of arithmetic and set theory | |
2017‑03‑30 | Luca Motto Ros (University of Turin, Italy) | Ultrametric spaces, isometry, and isometry groups | |
2017‑04‑06 | Peter Holy (University of Bonn, Germany) | Small embedding characterizations for large cardinals, and internal large cardinals | |
2017‑04‑26 | Matteo Viale (Università di Torino, Italy) | Useful axioms | |
2017‑04‑27 | Alberto Marcone (Università di Udine, Italy) | Some results about the higher levels of the Weihrauch lattice | |
2017‑05‑04 | Víctor Torres-Pérez (TU Wien) | Rado's Conjecture, an alternative to forcing axioms? | |
2017‑05‑11 | Stefan Hoffelner (KGRC) | $\text{NS}_{\omega_1}$ saturated and a $\Sigma^{1}_{4}$-definable wellorder on the reals | |
2017‑05‑18 | Victoria Gitman (CUNY Graduate Center, New York, USA) | A model of second-order arithmetic with the choice scheme in which $\Pi^1_2$-dependent choice fails | |
2017‑06‑01 | Vincenzo Dimonte (University of Udine, Italy) | Talk canceled | |
2017‑06‑08 | Zoltán Vidnyánszky (York University, Toronto, Canada and Toronto University) | Borel chromatic numbers: finite vs infinite | |
2017‑06‑22 | David Schrittesser (University of Copenhagen, Denmark) | News on mad families | |
2017‑06‑29 | Peter Nyikos (University of South Carolina, Columbia, USA) | Cardinality restrictions on some kinds of locally compact spaces | |
2017‑06‑29 | Witold Marciszewski (University of Warsaw, Poland) | On factorization properties of function spaces | |
2017‑08‑17 | Yijia Chen (Fudan University, Shanghai, People's Republic of China) | Slicewise definability in first-order logic with bounded quantifier rank | |
2017‑09‑26 | Kameryn Williams (Graduate Center, City University of New York (CUNY), USA) | The exact strength of the class forcing theorem | |
2017‑10‑05 | Mohammad Golshani (Institute for Research in Fundamental Sciences (IPM), Tehran, Iran) | Some properties of Cohen and random reals | |
2017‑10‑12 | Yizheng Zhu (Universität Münster, Germany) | Iterates of $M_1$ | |
2017‑10‑19 | Monroe Eskew (KGRC) | Global Chang’s Conjecture | |
2017‑11‑09 | Zoltán Vidnyánszky (KGRC) | Random elements of large groups | |
2017‑11‑16 | Paul Ellis (Manhattanville College, New York, USA) | Cycle Reversions and Dichromatic Number in (Infinite) Tournaments | |
2017‑11‑23 | Russell Miller (Queens College, City University of New York (CUNY), USA) | Isomorphism and Classification for Countable Structures | |
2017‑11‑30 | Maxwell Levine (KGRC) | Forcing Square Sequences | |
2017‑12‑07 | Hubie Chen (Birkbeck, University of London, UK) | Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness | |
2017‑12‑14 | Moritz Müller (KGRC) | On the relative strength of finitary combinatorial principles |