Browsing Workshops 2009 by MFO Series ID "OWR-2009-51"
Anzeige der Dokumente 1-1 von 1
-
0946c - Mini-Workshop: Feinstrukturtheorie und Innere Modelle
[OWR-2009-51] (2009) - (08 Nov - 14 Nov 2009)This workshop presented recent advances in fine structure and inner model theory. There were extended tutorials on hod mice and the Mouse Set Conjecture, suitable extender sequences and their fine structure, and the construction ...