体育外围

您所在的位置: 体育外围  >  师资队伍  >  逻辑学教研室  >  副教授

师资队伍

申国桢

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

undefined


姓名: 申国桢

性别: 男

职称: 特聘副研究员

教研室: 逻辑学教研室

体育外围bangongshi: shiwu(laoyanjiushengyuanlou)227

体育外围jiedaishijian: xingqiyi15: 00—17: 00


邮箱地址: shen-underscore-guozhen-at-outlook-dot-com


简 介

体育外围2007.09--2011.07  zhongguokexuejishudaxuelixuexueshi,jichushuxuezhuanye,xueweilunwen《yijieluojide“dairu”lilun》,daoshiwangfangtingjiaoshou

体育外围2011.09--2015.07  wuhandaxuezhexueshuoshi,luojixuezhuanye,shuliluojifangxiang,xueweilunwen《buyilaiyuxuanzegonglidejishusuanshu》,daoshixumingjiaoshou

2017.09--2020.07  zhongguokexueyuanshuxueyuxitongkexueyanjiuyuanlixueboshi,jichushuxuezhuanye,jihelunfangxiang,xueweilunwen《wuzhixujishu》,daoshifengqiyanjiuyuan

体育外围2020.08--zhijin  wuhandaxuezhexuexueyuantepinfuyanjiuyuan

              


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

开设课程

本科生类: 体育外围逻辑学导论、符号逻辑、一阶逻辑、素朴集合论

研究生类: 一阶逻辑、递归论导论、集合论导论、模型论导论、证明论导论、力迫法初步、数理逻辑专题


主要论著或代表作

[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, submitted (2019), arxiv:1912.12435.


主持或参与的科研项目


社会兼职


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