注：本专家学者库资料来源主要由学校官网及专家个人提供，如有内容不符，请与我们联系， 联系电话：87324688
申国桢成果数据库
男，武汉大学哲学学院逻辑学副教授、特聘副研究员。
中文名 申国桢 领域 哲学
性别 男 所在单位 武汉大学
所在部门 哲学学院 专业职称 副教授、特聘副研究员
学历学位 博士研究生 是否博导
研究方向

数理逻辑和数学哲学，尤其是不依赖于选择公理的集合论和蒯因的新基础论

人物简介

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

2011.09--2015.07  武汉大学哲学硕士，逻辑学专业，数理逻辑方向，学位论文《不依赖于选择公理的基数算术》，导师徐明教授；
.2017.09--2020.07  中国科学院数学与系统科学研究院理学博士，基础数学专业，集合论方向，学位论文《无秩序基数》，导师冯琦研究员；

社会兼职：
[1] 中国数学会数理逻辑专业委员会委员，2021年至今
[2] 中国自然辩证法研究会数学哲学专业委员会理事，2021年至今
[3] 全国现代逻辑学术研讨会程序委员会委员，2023年

代表性论文

 G. Shen, Generalizations of Cantor's theorem in ZF, Mathematical Logic Quarterly 63(5), 428–436 (2017).
G. Shen and J. Yuan, Factorials of infinite cardinals in ZF Part I: ZF results, Journal of Symbolic Logic 85(1), 224–243 (2020).
G. Shen and J. Yuan, Factorials of infinite cardinals in ZF Part II: Consistency results, Journal of Symbolic Logic 85(1), 244–270 (2020).
G. Shen, A note on strongly almost disjoint families, Notre Dame Journal of Formal Logic 61(2), 227–231 (2020).
 G. Shen, A choice-free cardinal equality, Notre Dame Journal of Formal Logic 62(3), 577–587 (2021).
 G. Shen, Remarks on infinite factorials and cardinal subtraction in ZF, accepted in Mathematical Logic Quarterly (2021).

科研成果

国家自然科学基金委员会，面上项目，No. 11871464，与大基数相关的力迫法及其应用，2019.01--2022.12，参加，项目负责人：吴刘臻；
国家自然科学基金委员会，青年科学基金项目，No. 12101466，不依赖于选择公理的基数研究，2022.01--2024.12，主持

个人荣誉

1、2020.09  2020年度中国科学院院长特别奖
2、2023.05  2022年度武汉英才（优秀青年人才）
3、2023.12  2023年度“楚天英才计划”楚天学者