{{menu|Events|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 [http://kgs.logic.at/ 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:

<table border=0>
<tr>
<th colspan=3><h3>Monday</h3></th>
</tr>

<tr>
<td>09:00&nbsp;-&nbsp;09:15</td>
<td>Eröffnung</td>
</tr>

<tr>
<td>09:15&nbsp;-&nbsp;10:15</td>
<td><b>Ralf Schindler</b></td>
<td>Iterates of the Core Model</td>
</tr>

<tr>
<td>10:30&nbsp;-&nbsp;11:15</td>
<td><b>Tomek Bartoszynski</b>
<td>Small Sets of Reals</td>
</tr>

<tr>
<td>11:30&nbsp;-&nbsp;12:00</td>
<td><b>Jindra Zapletal</b>
<td>Interpolation Theorems</td>
</tr>

<tr>
<td>14:30&nbsp;-&nbsp;15:00</td>
<td><b>James Cummings</b></td>
<td>Quasicompact and Subcompact Cardinals</td>
</tr>

<tr>
<td>15:15&nbsp;-&nbsp;16:00</td>
<td><b>Alessandro Andretta</b></td>
<td>Cardinalities of Borel Pointclasses</td>
</tr>

<tr>
<td>16:15&nbsp;-&nbsp;17:15</td>
<td><b>Saharon Shelah</b></td>
<td>A Partition Theorem</td>
</tr>

<tr>
<td>19:30</td>
<td colspan=2>Party</td>
</tr>

<tr>
<th colspan=3><h3>Tuesday</h3></th>
</tr>

<tr>
<td>09:30&nbsp;-&nbsp;10:30</td>
<td><b>Hugh Woodin</b></td>
<td>The Consistency of Hamkins' Axiom</td>
</tr>

<tr>
<td>10:45&nbsp;-&nbsp;11:15</td>
<td><b>Joan Bagaria</b></td>
<td>Solovay Models</td>
</tr>

<tr>
<td>11:30&nbsp;-&nbsp;12:00</td>
<td><b>Mirna Dzamonja</b></td>
<td>Some Usual and some Less Usual Combinatorial Principles</td>
</tr>

<tr>
<td>15:00&nbsp;-&nbsp;15:45</td>
<td><b>Otmar Spinas</b></td>
<td>A 2-Dimensional Tree Ideal</td>
</tr>

<tr>
<td>16:00&nbsp;-&nbsp;17:00</td>
<td><b>John Steel</b></td>
<td>The Unique Branches Hypothesis</td>
</tr>

<tr>
<th colspan=3><h3>Wednesday</h3></th>
</tr>

<tr>
<td>09:00&nbsp;-&nbsp;10:00</td>
<td><b>Harvey Friedman</b></td>
<td>Borel Selection</td>
</tr>

<tr>
<td>10:15&nbsp;-&nbsp;11:00</td>
<td><b>Ernest Schimmerling</b></td>
<td>Woodin cardinals, Shelah cardinals and the Mitchell-Steel Core Model</td>
</tr>

<tr>
<td>11:15&nbsp;-&nbsp;12:00</td>
<td><b>Moti Gitik</b></td>
<td>Very Good Scales and Bad Stationary Sets</td>
</tr>

<tr>
<td>14:00</td>
<td colspan=2>BIM-Ausflug</td>
</tr>

<tr>
<th colspan=3><h3>Thursday</h3></th>
</tr>

<tr>
<td>09:30&nbsp;-&nbsp;10:00</td>
<td><b>Heike Mildenberger</b></td>
<td>Borel Galois-Tukey Connections and the Nonsplitting Relation</td>
</tr>

<tr>
<td>10:15&nbsp;-&nbsp;10:45</td>
<td><b>Peter Komjath</b></td>
<td>Subgraph Chromatic Numbers</td>
</tr>

<tr>
<td>11:00&nbsp;-&nbsp;11:30</td>
<td><b>Jean Larson</b></td>
<td>The Quasiorder of Graphs on an Ordinal</td>
</tr>

<tr>
<td>11:45&nbsp;-&nbsp;12:15</td>
<td><b>Itay Neeman</b></td>
<td>The Complexity of Comparison around Tame Mice</td>
</tr>

<tr>
<td>15:00&nbsp;-&nbsp;15:30</td>
<td><b>Bill Mitchell</b></td>
<td>Towards a Covering Lemma?</td>
</tr>

<tr>
<td>15:45&nbsp;-&nbsp;16:15</td>
<td><b>David Aspero</b></td>
<td>On Simple Partitions of \kappa^\kappa</td>
</tr>

<tr>
<td>16:30&nbsp;-&nbsp;17:15</td>
<td><b>Menachem Magidor</b>
<td>Streamlining the PCF Theory
</tr>

<tr>
<th colspan=3><h3>Friday</h3></th>
</tr>

<tr>
<td>09:30&nbsp;-&nbsp;10:00</td>
<td><b>Gunter Fuchs</b></td>
<td>Friedman-Jensen Premice and Mitchell-Steel Premice</td>
</tr>

<tr>
<td>10:15&nbsp;-&nbsp;10:45</td>
<td><b>Bernhard K&ouml;nig</b></td>
<td>Comparing Reflection Principles with Generic Large Cardinals</td>
</tr>

<tr>
<td>11:00&nbsp;-&nbsp;11:30</td>
<td><b>Thoralf R&auml;sch</b></td>
<td>Jensen's Frequent Extension Lemma</td>
</tr>

<tr>
<td>18:30</td>
<td colspan=2>Heuriger</td>
</tr>

</table>