Seminars & Colloquia Calendar
Basic Theory of Mitchell–Steel Mice
Location: Hill 423
Date & time: Wednesday, 05 February 2020 at 12:00PM - 1:00PM
Abstract: A mouse is the central notion in inner model theory. I'll try to give a fully-detailed explanation of the basic theory of mice in Mitchell–Steel style. I'll also point out many errors in old literature.