Winter Semester 2016.

"Normalizing Iteration Trees and Comparing Iteration Strategies," by John R. Steel.


  • Session 1 (Wed, Nov 02): Introduction, normalizing iteration trees up to section 1.5 (pp. 1–45).
  • Session 2 (Wed, Nov 09): Normalizing iteration trees and strategies that normalize well up to section 2.3 (pp. 45–72).
  • Session 3 (Fri, Nov 18): Strategies induced by full background extender constructions and strong hull condensation (up to p. 98).
  • Session 4 (Wed, Nov 23): Comparing iteration strategies (section 4).
  • Session 5 (Wed, Nov 30): Least-branch premice / hod pairs (pp. 132–142).
  • Session 6 (Wed, Dec 07): Dodd-Jensen Lemma, background constructions, comparison (pp. 142–153).
  • Session 7 (Wed, Dec 21): Existence of cores, proofs of Theorems 0.4 and 0.5 (pp. 153–174).
  • Session 8 (Wed, Jan 11): Phalanx iteration into a backgrounded construction (section 6).
  • Session 9 (Wed, Jan 18): HOD in the derived model of a hod mouse (section 7).

Co-organized with Rachid Atmai and Sandra Uhlenbrock.

The Very Informal Vienna Partial Extender, Tree, and Mouse Seminar.