Yizheng Zhu

Institut für mathematische Logik und Grundlagenforschung
Fachbereich Mathematik und Informatik
Universität Münster
Einsteinstr. 62
48149 Münster, Germany

Research interest: set theory

email: yizheng.zhu at wwu.de


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


The derived model theorem II, notes on lectures by H. Woodin