Teaching
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
Past graduate students
- 王森 (MA 2021-2024)
- 李鼎懋 (MA2021-2024)
- 林志坚 (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
Resources
Last modified at
|
