2002: Seminar talks

(See current talks)
200020012002200320042005200620072008200920102011201220132014201520162017201820192020
2002‑01‑10Ralf Schindler
(KGRC)
A combinatorial proof of \Sigma^1_3 correctness of K
2002‑01‑17Ralf Schindler
(KGRC)
Sharps, pistols, and the \Sigma^1_3 correctness of K
2002‑03‑07James Hirschorn
(KGRC)
Forcing with measure algebras
2002‑03‑14David Aspero
(KGRC)
Martin's Maximum and the nonstationary ideal over \omega_1
2002‑03‑21Vladimir Kanovei
(Moscow Center for continuous mathematical education)
Borel and countably determined reducibility in nonstandard domain
2002‑04‑08Jakob Kellner
(KGRC)
Preserving non-null with transitive nep forcings 2
2002‑04‑18Ralf Schindler
(KGRC)
Cardinal arithmetic and projective determinacy
2002‑04‑25James Hirschorn
(KGRC)
Random gaps
2002‑05‑02David Aspero
(KGRC)
Todorcevic's theorem that BMM implies c=\aleph_2
2002‑05‑16Martin Goldstern
(TU Wien)
RCS iteration according to Donder/Fuchs
2002‑06‑06Martin Goldstern
(TU Wien)
Antichains in Products of Linear Orders
2002‑06‑13Ralf Schindler
(KGRC)
Homogeneously Souslin sets in inner models of set theory
2002‑10‑03David Aspero
(KGRC)
Remarks on club-guessing sequences and on canonical functions
2002‑10‑10Sy Friedman
(KGRC)
Projective Singletons
2002‑10‑17Sy Friedman
(KGRC)
Projective Singletons (part 2)
2002‑10‑24Sy Friedman
(KGRC)
Projective Singletons, Conclusion
2002‑11‑07Martin Goldstern
(TU Wien)
Clones from creatures
2002‑11‑14Heike Mildenberger
(KGRC)
New canonization theorems and dense free subsets
2002‑11‑21Ralf Schindler
(KGRC)
Mouse Operators
2002‑11‑28Ralf Schindler
(KGRC)
Mouse Operators, 2
2002‑12‑05Ralf Schindler
(KGRC)
Mouse Operators, 3
2002‑12‑12Sy Friedman
(KGRC)
Sigma-1-3 Generic Absoluteness

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2015-12-31, 20:15.