arXiv Open Access 2017

The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin

Yizheng Zhu

Lihat Sumber

Abstrak

Assume $\boldsymbolΔ^1_3$-determinacy. It is shown that for any $x \geq_T M_1^{\#}$, $\mathrm{HOD}^{L[x]}$ is a model of GCH, and in fact, it is a Jensen-Steel core model up to $ω_2^{L[x]}$.

Topik & Kata Kunci

math.LO

Penulis (1)

Yizheng Zhu

Format Sitasi

APA MLA BibTeX

Zhu, Y. (2017). The internal structure of $\mathrm{HOD}^{L[x]}$ up to its Woodin. https://arxiv.org/abs/1711.02007

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓