您所在的位置: 首页  >  师资队伍  >  逻辑学教研室  >  副教授

师资队伍

申国桢

点击次数:  更新时间:2021-08-26

undefined


姓名:申国桢

性别:男

职称:特聘副研究员

教研室:逻辑学教研室

办公室:石屋(老研究生院楼)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).


主持或参与的科研项目

[1] 国家自然科学基金委员会,面上项目,No. 11871464,与大基数相关的力迫法及其应用,2019.01--2022.12,参加,项目负责人:吴刘臻

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

社会兼职


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