Yizheng Zhu: Iterates of M_1

Monday, June 12, 2017, 16.30
Seminar room 0.011, Mathematical Institute, University of Bonn

Speaker: Yizheng Zhu (University of Münster)

Title: Iterates of M_1


Assume Delta^1_3-determinacy. Let L_{kappa_3}[T_2] be the admissible closure of the Martin-Solovay tree and let M_{1,infty} be the direct limit of$M_1 via countable trees. We show that L_{kappa_3}[T_2]cap V_{u_{omega}} = M_{1,infty} | u_{omega}.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.