Yizheng Zhu. + model as a derived model of a premouse. Annals of Pure and Applied Logic, 166(12):1275-1364, 2015. [doi]
@article{Zhu15-15, title = {+ model as a derived model of a premouse}, author = {Yizheng Zhu}, year = {2015}, doi = {10.1016/j.apal.2015.05.002}, url = {http://dx.doi.org/10.1016/j.apal.2015.05.002}, researchr = {https://researchr.org/publication/Zhu15-15}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {166}, number = {12}, pages = {1275-1364}, }