Tuesdays, 14:00-16:00, room 1
Organized by students in the set theory group of IMPAN.

This is an in-person seminar in room 1 at IMPAN in Warsaw. For more info, contact e.g. Umutcan Kaya (umutcanmath [at] gmail [dot] com).

Autumn 26

In the autumn we will read sections 5-7(/8) of Steel’s An outline of inner model theory and then we start with Larson’s The Stationary Tower

Schedule

  • September 29 : Umutcan Kaya starts presenting the condensation proof from section 5 of Outline
  • October 6: Umut continues with the condensation proof
  • October 13: exceptionally at 16-18 Umut finishes the condensation proof
  • October 20: on Zoom Arijeet Mishra presents K^c constructions from section 6 of Outline