彭程

博士，讲师

彭程，男，汉族，1987 年 11 月，博士，讲师。

【研究领域】

数理逻辑

【主讲课程】

高等数学、数学分析、实变函数、数学分析选讲

【科研项目】

[3] 主持河北省自然科学基金青年基金项目，Ershov分层中等价关系的研究，2023-2025

[2] 参与国家自然科学基金面上项目，波兰群诱导的等价关系之间的波莱尔归约，2023–2026

[1] 参与国家自然科学基金面上项目，实数的可计算性研究，2012–2015

【代表性论文】

[1] Yong Liu, Cheng Peng. Weak density and nondensity among transfinite levels of the Ershov hierarchy, Notre Dame Journal of Formal Logic 61 (2020), no.4, 521–536.

[2] Longyun Ding, Jiaming Li, Cheng Peng. Essential complexity of metrizable spaces, Topology and Its Application, 301 (2021), 107501.

[3] Cheng Peng. On transfinite levels of the Ershov hierarchy [thesis abstract], The Bulletin of Symbolic Logic, 27 (2021), no.2, 220–221.

[4] Cheng Peng. Normalizing notations in the Ershov hierarchy, Mathematical Logic Quarterly, 67(2021), no.4, 506-513.

[5] Yiqun Liu, Yong Liu, Cheng Peng. Isolated d.c.e. degrees and Σ1 induction, Annals of Pure and Applied Logic, 177 (2026), no.3, 103678.

[6] Mingzhong Cai, Yiqun Liu, Yong Liu, Cheng Peng, Yue Yang. On the nonexistence of a strong minimal pair, submitted.

[7] Steffen Lempp, Yong Liu, Yiqun Liu, Keng Meng Ng, Cheng Peng, Guohua Wu. Finite finial segments of the d.c.e. Turing degrees, submitted.

[8] Yong Liu, Cheng Peng. Bi-isolated d.c.e. degrees and Σ1 induction, submitted.

[9] Yong Liu, Cheng Peng, Mengzhou Sun. Robinson splitting theorem and Σ1 induction, submitted.

【联系方式】

邮箱：pengcheng@hebut.edu.cn