ITERATES OF M1

作者：Zhu, Yizheng^*

来源：Transactions of the American Mathematical Society, 2019, 371(12): 8811-8827.

DOI：10.1090/tran/7671

Assume Delta 1/2-determinacy. Let L-kappa 3 [T-2] be the admissible closure of the Martin-Solovay tree and let M-1,M-infinity be the direct limit of all iterates of M-1 via countable trees. We show that L-kappa 3 [T-2] boolean AND V-u omega is the universe of M-1,M-infinity vertical bar u(omega).

• 单位
  中国科学院大学