arXiv
Open Access
2017
Iterates of $M_1$
Yizheng Zhu
Abstrak
Assume $\boldsymbolΔ^1_{2}$-determinacy. Let $L_{κ_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_{κ_3}[T_2] \cap V_{u_ω} = M_{1,\infty} | u_ω$.
Topik & Kata Kunci
Penulis (1)
Y
Yizheng Zhu
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2017
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓