Iterates of $M_1$

KGRC Research Seminar | 12.10.2017 15:00 - 16:30

Y. Zhu (U Münster, DE)

Assume boldface $\boldsymbol_3$-determinacy. Let $L_[T_2]$ be the admissible closure of the Martin-Solovay tree and let $M_$ be the direct limit of $M_1$ via countable trees. We show that $L_[T_2] \cap V_ = M_ | u_$. This is a continuation of my [/2017/Talk_03-09_a.html talk] on 9th, March.