Yizheng Zhu

collaborators

2 papers

math.LO2017

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

Yizheng Zhu

Assume $Δ_{3}^{1}$ -determinacy. It is shown that for any $x \geq_{T} M_{1}^{#}$ , $HOD^{L [x]}$ is a model of GCH, and in fact, it is a Jensen-Steel core model up to $ω_…

math.LO2017

Iterates of $M_{1}$

Yizheng Zhu

Assume $Δ_{2}^{1}$ -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 t…

The internal structure of HODL[x] up to its Woodin

Iterates of M1​

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

Iterates of $M_{1}$