Logic List Mailing Archive

Summer School on Core Model Induction and HOD Mice

19 Jul - 6 Aug 2010
Muenster, Germany

The intitute for mathematical logic in Muenster will host
a summer school on the core model induction and hod mice
to take place July 19 -- August 06, 2010. The organizers
are Ralf Schindler and John Steel. For more information, see

http://wwwmath.uni-muenster.de/logik/Personen/rds/summer_school.html