2013: 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 |
2013‑01‑07 | Aleksander Ivanov and Barbara Majcher-Iwanow (University of Wrocław, Poland) | Polish G-spaces similar to logic G-spaces of continuous structures |
2013‑01‑10 | Peter Holy (Bristol University, UK) | Large Cardinals and Lightface Definable Wellorders without GCH |
2013‑01‑17 | Jana Flašková (University of West Bohemia in Pilsen, Czech Republic) | Van der Waerden ideal and its cardinal invariants |
2013‑01‑24 | Claudio Ternullo (KGRC) | Does set theory refute Platonism? |
2013‑01‑31 | Massoud Pourmahdian (IPM, Tehran, Iran) | First order Goedel logics |
2013‑03‑07 | Sy-David Friedman (KGRC) | Vaught's Conjecture, the Generic Morley Tree and Fragment Embeddings |
2013‑03‑14 | Moritz Müller (KGRC) | Weak pigeonhole principles |
2013‑03‑21 | Yurii Khomskii (KGRC) | Cichon's diagram and regularity properties |
2013‑04‑11 | Martin Koerwien (KGRC) | Around characterizing aleph_1 |
2013‑04‑18 | Hubie Chen (Universidad del País Vasco, Spain and Basque Foundation for Science, Spain) | Model Checking Quantified-Conjunctive Formulas |
2013‑04‑25 | Valentin Bura (TU Wien, Austria) | Reverse Mathematics of Divisibility in Integral Domains |
2013‑05‑02 | Radek Honzik (KGRC) | More on the tree property |
2013‑05‑16 | Philipp Schlicht (University of Bonn, Germany) | On Generalized Choquet Spaces and Groups |
2013‑06‑06 | Yann Strozecki (Versailles University, France) | Simple stochastic games: a state of the art |
2013‑06‑20 | Johanna Franklin (University of Connecticut, USA) | Lowness in recursive model theory |
2013‑06‑27 | Thomas Johnstone (New York City College of Technology, USA) | Indestructibility Results for Ramsey Cardinals |
2013‑06‑28 | Santi Spadaro (Silesian University of Opava, Czech Republic) | Chain conditions for topological bases |
2013‑10‑10 | Stéphane Le Roux (TU Darmstadt, Germany) | Determinacy, a two-way bridge from logic to economics |
2013‑10‑17 | Victor Selivanov (A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia and Siberian Branch of the Russian Academy of Sciences) | Some Hierarchies of $\mathsf{QCB_0}$-Spaces |
2013‑10‑24 | Masahiko Sato (Kyoto University, Japan) | Mathematics as open-ended human activities |
2013‑10‑31 | Tin Lok Wong (KGRC) | Some model theory of Peano arithmetic |
2013‑11‑07 | Barnabas Farkas (KGRC) | Some problems related to Borel ideals: Towers, Luzin-type families, forcing (in)destructibility, and more |
2013‑11‑14 | Pavel Semukhin (KGRC) | Automatic models of first-order theories |
2013‑11‑21 | Giorgio Venturi (Scuola Normale Superiore di Pisa, Italy) | Generalized side conditions |
2013‑11‑28 | Asylkhan Khisamiev (Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences) | Universal functions over locally finite structures |
2013‑12‑05 | Andrea Medini (KGRC) | Seven characterizations of non-meager P-filters |
2013‑12‑12 | Oleg Gutik (Ivan Franko National University of Lviv, Ukraine) | Topological semigroups: embeddings and Čech-Stone compactifications |
2013‑12‑19 | Michael Hrušák (Universidad Nacional Autónoma de México) | Strong measure zero in metric spaces and Polish groups |