Teaching

In the Spring of 2024, I teach Mathematical Logic.

Courses taught in the past:

Undergraduate courses:
• Mathematical Analysis
• Mathematical Logic
• Elementary Set Theory
• Number Theory
• Calculus
• Linear Algebra
Graduate courses:
• Proof Theory
• Recursion Theory
• Set Theory
• Abstract algebra
• Model Theory

Research Interest

Foundations of mathematics, mainly in Set Theory.

Graduate students

• 王森 (2021-)
• 李鼎懋 (2021-)

Past graduate students

• 林志坚 (MA 2020-2023)
• 张镇涛 (MA 2019-2022)
• 段奎元 (MA 2018-2021)
• 游航宇 (MA 2018-2021)
• 章腾 (MA 2016-2019, PhD 2019-2022)
• 郭依文 (MA 2015-2018)
• 冯星凯 (MA 2015-2018)
• 李静 (MA 2013-2016)

Research papers

• Review for Scott S. Cramer, Inverse limit reflection and the structure of \(L(V_{\lambda+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. \(I_0\) and Combinatorics at \(\lambda^{+}\). Arch. Math. Logic, 56(1):131-154, Feburary 2017. DOI:10.1007/s00153-016-0518-3.
• Axiom \(I_0\) 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 \(I_0\). Sciencepaper Online. September, 2012.
• Three classes of curves in Descartes' Geometry. Sciencepaper Online. May, 2012.
• with Z. Hao and Y. Yang. Continuum problem and \(\Omega\)-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.

Miscellaneous

• Co-organizer (with Bie Rongfang, Guo Jiahong) of Chinese Mathematical Logic Conference 2017. (A video link)
• Co-organizer (with Ju Fengkui, Bie Rongfang) of \(\Delta_3\) workshop.

Resources