2001: KGRC Set Theory Workshop and 7th Kurt Gödel Colloquium
The workshop was held from August 13th, 2001 to August 17th with support from the Kurt Gödel Society, Österreichisches Bundesministerium für Wissenschaft und Kultur, Wiener Tourismusverband, and the Fakultät für Naturwissenschaften und Mathematik der Universität Wien.
Organising Committee: Matthias Baaz, Sy D. Friedman
Program Committee: Sy D. Friedman, Ronald B. Jensen
Here is the program:
Monday
09:00 - 09:15 Eröffnung
09:15 - 10:15 Ralf Schindler Iterates of the Core Model
10:30 - 11:15 Tomek Bartoszynski Small Sets of Reals
11:30 - 12:00 Jindra Zapletal Interpolation Theorems
14:30 - 15:00 James Cummings Quasicompact and Subcompact Cardinals
15:15 - 16:00 Alessandro Andretta Cardinalities of Borel Pointclasses
16:15 - 17:15 Saharon Shelah A Partition Theorem
19:30 Party
Tuesday
09:30 - 10:30 Hugh Woodin The Consistency of Hamkins' Axiom
10:45 - 11:15 Joan Bagaria Solovay Models
11:30 - 12:00 Mirna Dzamonja Some Usual and some Less Usual Combinatorial Principles
15:00 - 15:45 Otmar Spinas A 2-Dimensional Tree Ideal
16:00 - 17:00 John Steel The Unique Branches Hypothesis
Wednesday
09:00 - 10:00 Harvey Friedman Borel Selection
10:15 - 11:00 Ernest Schimmerling Woodin cardinals, Shelah cardinals and the Mitchell-Steel Core Model
11:15 - 12:00 Moti Gitik Very Good Scales and Bad Stationary Sets
14:00 BIM-Ausflug
Thursday
09:30 - 10:00 Heike Mildenberger Borel Galois-Tukey Connections and the Nonsplitting Relation
10:15 - 10:45 Peter Komjath Subgraph Chromatic Numbers
11:00 - 11:30 Jean Larson The Quasiorder of Graphs on an Ordinal
11:45 - 12:15 Itay Neeman The Complexity of Comparison around Tame Mice
15:00 - 15:30 Bill Mitchell Towards a Covering Lemma?
15:45 - 16:15 David Aspero On Simple Partitions of \kappa^\kappa
16:30 - 17:15 Menachem Magidor Streamlining the PCF Theory
Friday
09:30 - 10:00 Gunter Fuchs Friedman-Jensen Premice and Mitchell-Steel Premice
10:15 - 10:45 Bernhard König Comparing Reflection Principles with Generic Large Cardinals
11:00 - 11:30 Thoralf Räsch Jensen's Frequent Extension Lemma
18:30 Heuriger