个人简介

申国桢，1989年8月生，河南平顶山人。中山大学哲学系（珠海）预聘助理教授（副教授岗位），博士生导师。主要研究领域为数理逻辑和数学哲学，尤其是不依赖于选择公理的集合论。

电子邮箱：shen-underscore-guozhen-at-outlook-dot-com

英文主页：https://sites.google.com/view/gshen

学习与工作经历

2007.09–2011.07，中国科学技术大学理学学士，基础数学专业。学位论文：《一阶逻辑的“代入”理论》，导师：汪芳庭教授

2011.09–2015.07，武汉大学哲学硕士，逻辑学专业，数理逻辑方向。学位论文：《不依赖于选择公理的基数算术》，导师：徐明教授

2017.09–2020.07，中国科学院数学与系统科学研究院理学博士，基础数学专业，集合论方向。学位论文：《无秩序基数》，导师：冯琦研究员

2020.08–2025.07，武汉大学哲学学院，特聘副研究员（副教授岗位）

2025.08–至今，中山大学哲学系（珠海），预聘助理教授（副教授岗位）

科研项目

2022.01–2024.12，国家自然科学基金委员会，青年科学基金项目，No. 12101466，不依赖于选择公理的基数研究，主持

学术发表

[1] Guozhen Shen, Generalizations of Cantor's theorem in ZF, Mathematical Logic Quarterly63(5), 428–436 (2017).

[2] Guozhen Shen and Jiachen Yuan, Factorials of infinite cardinals in ZF Part I: ZF results, The Journal of Symbolic Logic85(1), 224–243 (2020).

[3] Guozhen Shen and Jiachen Yuan, Factorials of infinite cardinals in ZF Part II: consistency results, The Journal of Symbolic Logic85(1), 244–270 (2020).

[4] Guozhen Shen, A note on strongly almost disjoint families, Notre Dame Journal of Formal Logic61(2), 227–231 (2020).

[5] Guozhen Shen, A choice-free cardinal equality, Notre Dame Journal of Formal Logic62(3), 577–587 (2021).

[6] Guozhen Shen, Remarks on infinite factorials and cardinal subtraction in ZF, Mathematical Logic Quarterly68(1), 67–73 (2022).

[7] Guozhen Shen, The power set and the set of permutations with finitely many non-fixed points of a set, Mathematical Logic Quarterly69(1), 40–45 (2023).

[8] Guozhen Shen, On a cardinal inequality in ZF, Mathematical Logic Quarterly69(4), 417–418 (2023).

[9] Yinhe Peng and Guozhen Shen, A generalized Cantor theorem in ZF, The Journal of Symbolic Logic89(1), 204–210 (2024).

[10] Xiao Hu and Guozhen Shen, Boundedly finite-to-one functions, Logic Journal of the IGPL33(3), jzae130 (2025).

[11] Ruihuan Mao and Guozhen Shen, A note on dual Dedekind finiteness, Logic Journal of the IGPL33(5),jzaf069(2025).

[12] Guozhen Shen, A choice-free proof of Mal'cev's theorem on quasivarieties, Algebra Universalis86(4), article number 25 (2025).

[13] Guozhen Shen, Cantor's theorem may fail for finitary partitions, accepted in The Journal of Symbolic Logic(2024).DOI: 10.1017/jsl.2024.24

[14] Jiaheng Jin and Guozhen Shen, A note on surjective cardinals, accepted in The Journal of Symbolic Logic(2025).DOI: 10.1017/jsl.2025.10113

社会兼职

2024年至今，中国数学会数理逻辑专业委员会常务委员

2021年至今，中国自然辩证法研究会数学哲学专业委员会理事

获奖情况

2020年度中国科学院院长特别奖

2022年度武汉英才（优秀青年人才）

2023年度“楚天英才计划”楚天学者