Seminars & Colloquia Calendar
Basic Theory of Mitchell–Steel Mice, [Part 4]
Location: Canvas (really Big Blue Button)
Date & time: Wednesday, 01 April 2020 at 12:00PM - 1:00PM
Abstract: We introduce a fine structural version of ultrapowers and iteration trees. Iteration trees should be regarded as a result of an iteration game, where two players will choose extenders and cofinal branches. A winning strategy for the player who chooses branches in this game is called an iteration strategy. Then we finally reach the definition of a mouse.