List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Iterates of \(M_1\) Transactions of the American Mathematical Society | 2019-06-05 | Paper |
| The internal structure of $\mathrm{HOD}^{L[x}$ up to its Woodin] | 2017-11-06 | Paper |
| The higher sharp IV: the higher levels | 2017-05-30 | Paper |
| The higher sharp III: An EM blueprint of $0^{3\#}$ and the level-4 Kechris-Martin | 2017-05-30 | Paper |
| On the Reals Which Cannot Be Random Computability and Complexity | 2017-04-04 | Paper |
| Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses | 2016-10-07 | Paper |
| The higher sharp II: on $M_2^\#$ | 2016-04-19 | Paper |
| The higher sharp I: on $M_1^\#$ | 2016-04-02 | Paper |
| Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse Annals of Pure and Applied Logic | 2015-09-29 | Paper |
Research outcomes over time
This page was built for person: Yizheng Zhu
