2015: 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 |
2015‑01‑08 | Vera Fischer (TU Wien) | Measure, category and projective wellorders | |
2015‑01‑15 | Daniel Soukup (University of Toronto, Canada) | Trees, ladders and graphs | |
2015‑01‑22 | Franqui Solis Cárdenas Poloche (Universidad Nacional de Colombia) | Unfoldable cardinals and some related problems | |
2015‑01‑29 | Seçil Tokgöz (Hacettepe Üniversitesi, Ankara, Turkey) | Paracompactness and Remainders | |
2015‑02‑20 | Natasha Dobrinen (Denver University, Colorado, USA) | High and higher dimensional Ellentuck spaces and Tukey and Rudin-Keisler initial structures of non-p-points | |
2015‑03‑05 | Sandra Uhlenbrock (Universität Münster, Germany) | Mice with finitely many Woodin cardinals from optimal determinacy hypotheses | |
2015‑03‑19 | Vincenzo Dimonte (TU Wien) | Generic I0 at $\aleph_\omega$ | |
2015‑03‑26 | Radek Honzik (KGRC) | Satisfaction in outer models | |
2015‑04‑16 | Wei Li (KGRC) | Fragments of Kripke-Platek Set Theory | |
2015‑04‑23 | Benjamin Miller (KGRC) | Definable perfect matchings | |
2015‑04‑30 | Lyubomyr Zdomskyy (KGRC) | Remainders of topological groups and Grigorieff forcing | |
2015‑05‑07 | Ali Enayat (University of Gothenburg, Sweden) | Flexible Turing Machines | |
2015‑05‑21 | Piotr Borodulin-Nadzieja (Wrocław University, Poland) | Measure-theoretic Suslin Hypothesis | |
2015‑05‑27 | Peter Holy (Universität Bonn, Germany) | Non-pretame Class Forcing and the Forcing Theorem, the axioms of ZFC and non-definable Class Forcing | |
2015‑05‑28 | Liang Yu (Nanjing University, Nanjing, PR of China) | CH and Cofinal maximal chains in the Turing degrees | |
2015‑06‑11 | Clinton Conley (Cornell University, New York, USA) | Strong treeability of planar groups | |
2015‑06‑18 | David Schrittesser (University of Copenhagen, Denmark) | Maximal discrete sets in arboreal forcing extensions | |
2015‑06‑25 | Peter Schuster (University of Verona, Italy, currently Humboldt returning fellow at the Munich Center for Mathematical Philosophy, Germany) | Eliminating Disjunctions by Disjunction Elimination | |
2015‑07‑02 | Dana S. Scott (Carnegie Mellon University, Pittsburgh, Pennsylvania, USA and UC Berkeley, California, USA) | Lambda-Calculus and Dependent Type Theory | |
2015‑07‑09 | David Chodounský (Academy of Sciences of the Czech Republic) | Properties intermediate between master and strong master | |
2015‑10‑01 | Tetsuo Ida (University of Tsukuba, Japan) | On Hestenes' geometric algebra: its formalization by the proof assistant and application to computational origami | |
2015‑10‑08 | Rachid Atmai (KGRC) | The inner model problem and descriptive inner model theory | |
2015‑10‑15 | David Schrittesser (University of Copenhagen, Denmark) | Maximal independent sets in forcing extensions | |
2015‑10‑22 | Hubie Chen (University of the Basque Country, Spain) | The Parameterized Complexity Classification of – and the Logic of – Counting Answers to Existential Positive Queries | |
2015‑10‑29 | Moritz Müller (KGRC) | Cobham recursive set functions and weak set theories | |
2015‑11‑05 | Diego Alejandro Mejía Guzmán (TU Wien) | Separating the left side of Cichon's diagram | |
2015‑11‑12 | Victor Selivanov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia and Siberian Branch of the Russian Academy of Sciences) | On Weihrauch degrees of k-partitions of the Baire space | |
2015‑11‑19 | Barnabás Farkas (KGRC) | Towers in Borel filters | |
2015‑11‑26 | Asger Törnquist (University of Copenhagen, Denmark) | Around the definability of maximal eventually different families | |
2015‑12‑03 | Daniel Soukup (Hungarian Academy of Sciences, Budapest, Hungary) | Uniformization properties in connection to graph colourings | |
2015‑12‑04 | Sheila Miller (New York City College of Technology, CUNY, USA) | The nature of measurement in set theory | |
2015‑12‑10 | Damian Sobota (Polish Academy of Sciences, Warsaw) | The Nikodym property and cardinal invariants of the continuum | |
2015‑12‑11 | Jonathan Verner (Charles University in Prague, Czech Republic) | Ramsey Partitions of Metric Spaces | |
2015‑12‑17 | Wei Li (KGRC) | Reverse mathematics in $\omega$ categoricity |