Yizheng Zhu

most citedThe higher sharp IV: the higher levels

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

collaborators

5 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}^{#}$ .

math.LO2016

The higher sharp II: on $M_{2}^{#}$

Yizheng Zhu

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

math.LO2016

The higher sharp I: on $M_{1}^{#}$

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 = 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 II: on M2#​

The higher sharp I: on M1#​

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

The higher sharp II: on $M_{2}^{#}$

The higher sharp I: on $M_{1}^{#}$