2000: 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 |
2000‑03‑07 | Arthur Apter (City University of New York) | Indestructibility and the Level by Level Equivalence between Strong Compactness and Supercompactness |
2000‑03‑14 | Sy Friedman (KGRC) | Inner Models and 0# |
2000‑03‑21 | Peter Koepke (Universität Bonn) | Ordinal Functions |
2000‑04‑04 | Martin Goldstern (TU Wien) | Clones on regular cardinals |
2000‑04‑11 | Ralf Schindler (KGRC) | Steels Theorem über projektive Uniformisierbarkeit |
2000‑05‑09 | Sy Friedman (KGRC) | Cardinal-preserving extensions |
2000‑05‑12 | Alessandro Andretta (University of Turin) | Descriptive Set Theory and Wadge Degrees |
2000‑05‑16 | Alessandro Andretta (University of Turin) | Descriptive Set Theory and Wadge Degrees |
2000‑05‑19 | Alessandro Andretta (University of Turin) | Descriptive Set Theory and Wadge Degrees |
2000‑06‑06 | Riccardo Camerlo (KGRC) | Classical descriptive set theory |
2000‑06‑09 | Tomek Bartoszynski (Boise State University, Rutgers University) | Perfectly meager sets |
2000‑10‑03 | Sy Friedman (KGRC) | Seven Topics in Pure Set Theory |
2000‑10‑10 | Ralf Schindler (KGRC) | Almost Linear Iterations |
2000‑10‑17 | Ralf Schindler (KGRC) | Almost Linear Iterations, Part 2 |
2000‑10‑17 | Ralf Schindler (KGRC) | Almost Linear Iterations, Part 3 |
2000‑10‑31 | Riccardo Camerlo (KGRC) | The relation of recursive isomorphism for countable structures |
2000‑11‑07 | Riccardo Camerlo (KGRC) | The relation of recursive isomorphism for countable structures, Part 2 |
2000‑11‑17 | Mladen Pavicic (University of Zagreb) | Classical logic models |
2000‑11‑21 | Martin Zeman (KGRC) | Combinatorial principles in inner models |
2000‑11‑24 | Lorenz Halbeisen (Universität Basel) | Partition-ultrafilters |
2000‑11‑28 | Philip Welch (KGRC) | On Belnap-Gupta Revision Theories of Truth, the Next Stable Set and Kripkean Fixed Points |
2000‑12‑05 | Alberto Marcone (University of Udine, Italy) | WQO and BQO theory in subsystems of second order arithmetic |
2000‑12‑11 | Joan Bagaria (University of Barcelona, Spain) | Natural axioms of Set Theory that settle Cantor's Continuum problem |