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:


09:00 - 09:15Eröffnung
09:15 - 10:15Ralf SchindlerIterates of the Core Model
10:30 - 11:15Tomek BartoszynskiSmall Sets of Reals
11:30 - 12:00Jindra ZapletalInterpolation Theorems
14:30 - 15:00James CummingsQuasicompact and Subcompact Cardinals
15:15 - 16:00Alessandro AndrettaCardinalities of Borel Pointclasses
16:15 - 17:15Saharon ShelahA Partition Theorem


09:30 - 10:30Hugh WoodinThe Consistency of Hamkins' Axiom
10:45 - 11:15Joan BagariaSolovay Models
11:30 - 12:00Mirna DzamonjaSome Usual and some Less Usual Combinatorial Principles
15:00 - 15:45Otmar SpinasA 2-Dimensional Tree Ideal
16:00 - 17:00John SteelThe Unique Branches Hypothesis


09:00 - 10:00Harvey FriedmanBorel Selection
10:15 - 11:00Ernest SchimmerlingWoodin cardinals, Shelah cardinals and the Mitchell-Steel Core Model
11:15 - 12:00Moti GitikVery Good Scales and Bad Stationary Sets


09:30 - 10:00Heike MildenbergerBorel Galois-Tukey Connections and the Nonsplitting Relation
10:15 - 10:45Peter KomjathSubgraph Chromatic Numbers
11:00 - 11:30Jean LarsonThe Quasiorder of Graphs on an Ordinal
11:45 - 12:15Itay NeemanThe Complexity of Comparison around Tame Mice
15:00 - 15:30Bill MitchellTowards a Covering Lemma?
15:45 - 16:15David AsperoOn Simple Partitions of \kappa^\kappa
16:30 - 17:15Menachem MagidorStreamlining the PCF Theory


09:30 - 10:00Gunter FuchsFriedman-Jensen Premice and Mitchell-Steel Premice
10:15 - 10:45Bernhard KönigComparing Reflection Principles with Generic Large Cardinals
11:00 - 11:30Thoralf RäschJensen's Frequent Extension Lemma

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: 2010-12-16, 04:37.