Workshop on Iteration Trees

22-30, April, 2025
IMPAN (Gdansk branch), Antoniego Abrahama 18, 81-825 Sopot

Lecturer: Obrad Kasum (IMJ-PRG)

Kasum will cover the following topics during the workshop.

  • Zipper argument
  • Iteration trees and countable hulls
  • Proof of (\(\omega + 1\))-iterability
  • Realizability for trees of length omega
  • Construction of an alternating chain
  • Homogeneously Suslin sets
  • Proof of the projective determinacy