Yizheng Zhu

most citedThe higher sharp IV: the higher levels

5 citations · 10 across the 3 of their papers we have counts for

collaborators

3 papers

math.LO2017★ 1 cited

The higher sharp III: An EM blueprint of $0^{3#}$ and the level-4 Kechris-Martin

Yizheng Zhu

We establish the descriptive set theoretic representation of the mouse $M_{n}^{#}$ , which is called $0^{(n + 1) #}$ . This part partially finishes the case $n = 2$ by establishing the hi…

math.LO2017★ 5 cited

The higher sharp IV: the higher levels

Yizheng Zhu

We establish the descriptive set theoretic representation of the mouse $M_{n}^{#}$ , which is called $0^{(n + 1) #}$ . This part deals with the case $n > 3$ .

math.LO2016★ 4 cited

Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses

Yizheng Zhu

The determinacy of lightface $Δ_{2 n + 2}^{1}$ and boldface $Π_{2 n + 1}^{1}$ sets implies the existence of an $(ω, ω_{1})$ -iterable $M_{2 n + 1}^{#}$ .

The higher sharp III: An EM blueprint of 03# and the level-4 Kechris-Martin

The higher sharp IV: the higher levels

Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses

The higher sharp III: An EM blueprint of $0^{3#}$ and the level-4 Kechris-Martin