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, 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