2001: Seminar talks

(See current talks)
200020012002200320042005200620072008200920102011201220132014201520162017201820192020
2001‑01‑22Martin Goldstern
(TU Wien)		Gödel Logics, Scattered Orders and BQO's
2001‑03‑13David Aspero
(KGRC)		Bounded Martin's Maximum
2001‑03‑20David Aspero
(KGRC)		The Bounded Martin's Maximum and $\psi_{AC}$(2)
2001‑03‑27Ralf Schindler
(KGRC)		Absorbing iterations of the universe
2001‑04‑02Sy Friedman
(KGRC)		Genericity and Large Cardinals
2001‑04‑24Dorshka Wylie
(City University of New York)		Fragments in a Lower Core Model
2001‑05‑08Sy Friedman
(KGRC)		Genericity and Large Cardinals, Part 2
2001‑05‑15Heike Mildenberger
(KGRC)		Forcing with trees of creatures (1)
2001‑05‑22Heike Mildenberger
(KGRC)		Forcing with trees of creatures (2)
2001‑06‑12Ralf Schindler
(KGRC)		K^c without large cardinals in V
2001‑06‑19Ralf Schindler
(KGRC)		P not= NP for infinite time Turing machines.
2001‑06‑27Philip D. Welch
(KGRC)		Higher type recursion in Infinite Time Turing Machines
2001‑08‑25Ralf Schindler
(KGRC)		Bounded Forcing Axioms and Sets of Reals
2001‑10‑18Rene Schipperus
(KGRC)		The Topological Baumgartner-Hajnal Theorem
2001‑11‑15Philip Welch
(KGRC)		More on BMM and related reflection properties
2001‑11‑22David Aspero
(KGRC)		More on a convenient property for $[\gamma]^{\aleph_0}$
2001‑11‑29Heike Mildenberger
(KGRC)		Canonization Theorems
2001‑12‑13Arnold Beckmann
(TU Wien, Uni Münster)		Some words on well-foundedness principles over definable sets

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.