姓名：申国桢

性别：男

职称：特聘副研究员

教研室：逻辑学教研室

办公室：石屋（老研究生院楼）227
接待时间：星期一15：00—17：00


邮箱地址：shen-underscore-guozhen-at-outlook-dot-com
Homepage：https://sites.google.com/view/gshen



简 介

2007.09--2011.07 中国科学技术大学理学学士，基础数学专业，学位论文《一阶逻辑的“代入”理论》，导师汪芳庭教授
2011.09--2015.07 武汉大学哲学硕士，逻辑学专业，数理逻辑方向，学位论文《不依赖于选择公理的基数算术》，导师徐明教授
2017.09--2020.07 中国科学院数学与系统科学研究院理学博士，基础数学专业，集合论方向，学位论文《无秩序基数》，导师冯琦研究员
2020.08--至今 武汉大学哲学学院特聘副研究员




主要研究领域和方向
数理逻辑和数学哲学，尤其是不依赖于选择公理的集合论和蒯因的新基础论


开设课程
本科生类：逻辑学导论、符号逻辑、一阶逻辑、集合论导论
研究生类：一阶逻辑、集合论导论、递归论导论、证明论导论、模型论导论、力迫法初步、哥德尔不完全性定理专题、数理逻辑专题



主要论著或代表作
[1] G. Shen, Generalizations of Cantor's theorem in ZF, Mathematical Logic Quarterly 63(5), 428–436 (2017).
[2] G. Shen and J. Yuan, Factorials of infinite cardinals in ZF Part I: ZF results, Journal of Symbolic Logic 85(1), 224–243 (2020).
[3] G. Shen and J. Yuan, Factorials of infinite cardinals in ZF Part II: Consistency results, Journal of Symbolic Logic 85(1), 244–270 (2020).
[4] G. Shen, A note on strongly almost disjoint families, Notre Dame Journal of Formal Logic 61(2), 227–231 (2020).
[5] G. Shen, A choice-free cardinal equality, accepted in Notre Dame Journal of Formal Logic (2021).
[6] G. Shen, On the cardinal equality a! - a = a!, submitted (2021).



主持或参与的科研项目




社会兼职




获奖情况
2020.09 2020年度中国科学院院长特别奖