2009-09-30-2018-10-31,Journal of Mathematical Logic, 四名执行编委之一
2007-12-30-2018-12-30,《数学学报》英文版, 数理逻辑编委
2005-01-01-2007-12-31,Association for Symbolic Logic, 理事
2002-12-31-2018-12-30,《中国科学》数学杂志, 数理逻辑编委
2000-01-01-2004-12-31,Association for Symbolic Logic, 东亚委员会主任
1999-12-31-2018-12-30,《数学学报》中文版, 数理逻辑编委
教授课程
线性代数-II-B
数理逻辑
线性代数I-B
集合论
线性代数-I-B
线性代数Ⅱ-B
专利与奖励
奖励信息
(1) 北京市第13届教学名师, 省级, 2017
专利成果
出版信息
发表论文
(1) 超紧基数的一个特征, A new characterization of supercompactness and applications, Annals of Pure and Applied Logic, 2009, 第 1 作者
(2) 超完备扩张子与第一型精细结构, Supercomplete Extenders and Type 1 Mice, I, Annals of Pure and Applied Logic, 2004, 第 1 作者
(3) Q-极大模型中的P-点存在性, P--points in $Q_{\max}$ models, Annals of Pure and Applied Logic, 2003, 第 1 作者
(4) 强贝尔特性与一个等高树枝原理, Strongly Baire Trees and A Cofinal Branch Principle, Israel Journal of Mathematics, 2000, 第 1 作者
(5) 拉度猜想与第一个不可数基数上非荟萃集理想之准饱和性质, Rado's Conjecture and Presaturation of nonstationary ideal on $\omega_1$, the Journal of Symbolic Logic, 1999, 第 1 作者
(6) 射影荟萃集与强反演原理, Projective Stationary Sets and Strong Reflection Principle, the Journal of London Mathematical Society, 1998, 第 1 作者
(7) 实数序对开分划之齐一性, Homogeneity of Open Partitions of Pairs of the Reals, Trans. American Mathematical Society, 1993, 第 1 作者
(8) 实数子集的通用贝尔性质, Universally Baire Sets of Reals, Set Theory of the Continuum-MSRI Series, 1992, 第 1 作者
(9) 拉姆齐基数的一个层次结构, A Hierarchy of Ramsey Cardinals, Annals of Pure and Applied Logic, 1990, 第 1 作者
(10) 局部无界闭集、反演原理与保持荟萃特性, Local Clubs, Reflection and Preserving Stationary Sets, Proc. London Mathematical Society, 1989, 第 1 作者