2012: 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 |
2012‑01‑12 | Howard Becker (Universität Münster, Germany) | Isomorphism of Computable Structures and Vaught's Conjecture |
2012‑01‑19 | André Nies (University of Auckland, New Zealand) | Borel structures and Borel theories |
2012‑03‑01 | Michael Pinsker (Paris 7, France, TU Wien, Austria, and Hebrew University of Jerusalem, Israel) | Reducts of the random partial order |
2012‑03‑08 | Yurii Khomskii (KGRC) | Regularity Idealized |
2012‑03‑15 | Giorgio Laguzzi (KGRC) | Separation of regularity properties |
2012‑03‑22 | Moritz Müller (KGRC) | Refutation complexity of relativized spectra |
2012‑03‑29 | Sy-David Friedman (KGRC) | The complexity of isomorphism |
2012‑04‑19 | Martin Bays (McMaster University, Ontario, Canada) | Abelian integrals and categoricity |
2012‑04‑26 | Diego Alejandro Mejía Guzmán (Universidad Nacional de Colombia) | Matrix iterations and Cichon's diagram |
2012‑05‑03 | Hubie Chen (Universitat Pompeu Fabra, Barcelona, Spain) | Meditations on Quantified Constraint Satisfaction |
2012‑05‑10 | Alexander Osipov (Institute of Mathematics and Mechanics, Ural Branch of the Russian Academy of Sciences, Russia) | Set-open topology on the space of continuous functions |
2012‑05‑16 | André Nies (University of Auckland, New Zealand) | Complexity of equivalence relations |
2012‑05‑24 | Jindrich Zapletal (U of Florida, USA and Czech Academy of Sciences) | Canonical Ramsey Theory on Polish Spaces |
2012‑05‑31 | Misha Gavrilovich (KGRC) | Shelah's revised power function as a homotopy invariant |
2012‑06‑14 | Miguel Angel Mota (KGRC) | A spectral approach to reflection principles |
2012‑06‑28 | Andrey Morozov (Novosibirsk State University, Russia) | On Sigma-definability of structures over the reals |
2012‑07‑04 | Frank Tall (University of Toronto, Canada) | Topological problems for set theorists, II |
2012‑07‑05 | Antonio Montalbán (University of Chicago, USA) | A computability-theoretic equivalent of Vaught's Conjecture |
2012‑07‑10 | Russell Miller (Queens College, City College of New York, USA) | Finitary reducibility on equivalence relations |
2012‑07‑11 | Julia Knight (University of Notre Dame, USA) | An example illustrating a theorem of Gregory |
2012‑10‑04 | Vadim Kulikov (KGRC) | Analyzing the Complexity of Wild Knot Equivalence |
2012‑10‑11 | Dan Turetsky (KGRC) | Racing Pawns, Internal Hyperarithmetic Comprehension, and the Law of the Excluded Middle |
2012‑10‑18 | Asger Törnquist (University of Copenhagen, Denmark) | The Poulsen simplex as a Fraisse limit |
2012‑10‑18 | Laura Fontanella (KGRC) | Large Properties at Small Cardinals |
2012‑11‑08 | Shuguo Zhang (Sichuan University, People's Republic of China) | Relations between the I-ultrafilters |
2012‑11‑15 | Matthias Schröder (KGRC) | Computable Analysis and Topology |
2012‑11‑22 | Martin Goldstern (TU Wien, Austria) | Cardinal characteristics in Cichon's diagram |
2012‑11‑29 | Peter Telec (KGRC) | The history of logic at the University of Vienna |
2012‑12‑06 | Dan Turetsky (KGRC) | Computable Categoricity |
2012‑12‑13 | Sam Sanders (Ghent University, Belgium and MCMP München, Germany) | Reuniting the antipodes: bringing together Nonstandard Analysis and Constructive Analysis |
2012‑12‑20 | Leandro F. Aurichi (ICMC-USP, University of São Paulo, Brazil) | Some selective versions of separability-like properties |