Yizheng Zhu

School of Mathematical Sciences
University of Chinese Academy of Sciences
19A Yuquan Road
Beijing 100049

Research interest: set theory

email: zhuyizheng at ucas.ac.cn


Realizing an AD+ model as a derived model of a premouse, Annals of Pure and Applied Logic, Volume 166, Issue 12, December 2015, Pages 1275--1364

(With Liang Yu) On the reals which cannot be random. Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, 611--622, Vol.10010, 2017. pdf

Iterates of M_1, Transactions of the American Mathematical Society, Volume 371, Number 12, 15 June 2019, Pages 8811–8827, arXiv


Lightface mice with finitely many Woodin cardinals from optimal determinacy hypotheses, arXiv

The higher sharp I, arXiv

The higher sharp II, arXiv

The higher sharp III, arXiv, with a C++11 program that computes the combinatorics in this paper

The higher sharp IV, arXiv


(WARNING: there is a mistake in the proof of Lemma 3(ii)!) The derived model theorem II, notes on lectures by H. Woodin