研究领域
Foundations of mathematics, mainly in Set Theory.
近期论文
查看导师最新文章
(温馨提示:请注意重名现象,建议点开原文通过作者单位确认)
Review for Scott S. Cramer, Inverse limit reflection and the structure of L(Vλ+1).. Bulletin of Symbolic Logic , Volume 26 , Issue 2 , June 2020 , pp. 170 - 171 DOI: 10.1017/bsl.2020.7. (Published online by Cambridge University Press: 26 February 2021)
with N. Trang. I0 and Combinatorics at λ+. Arch. Math. Logic, 56(1):131-154, Feburary 2017. DOI:10.1007/s00153-016-0518-3.
Axiom I0 and Higher Degree Theory. Journals of Symbolic Logic. 80(3):970-1021, September 2015. DOI:10.1017/jsl.2015.15.
Large Cardinals and Higher Degree Theory. In Proceedings of the 13th Asian Logic Conference, p.201-236. World Scientific, April 2015. DOI:10.1142/9789814678001_0012.
A Posner-Robinson Theorem from Axiom I0. Sciencepaper Online. September, 2012.
Three classes of curves in Descartes' Geometry. Sciencepaper Online. May, 2012.
with Z. Hao and Y. Yang. Continuum problem and Ω-conjecture (in Chinese). Studies in Logic. 3(4):30-43, December 2010.
Projective Prewellorderings vs Projective Wellfounded Relations. Journals of Symbolic Logic. 74(2):579-596, June 2009. DOI:10.2178/jsl/1243948328.