1 On reflection principles
来源：ANN PURE APPL LOGIC( P 0168-0072 E ) 发表时间: 2009/02
类型：期刊论文 为本人加分：7080.000000
2 strong logics of first and second order
来源：B SYMB LOG( P 1079-8986 E 1943-5894 ) 发表时间: 2010/03
类型：期刊论文 为本人加分：1526.048563
3 INCOMPATIBLE Omega-COMPLETE THEORIES
来源：J SYMBOLIC LOGIC( P 0022-4812 E ) 发表时间: 2009/12
类型：期刊论文 为本人加分：1107.858223
4 large cardinals beyond choice
来源：B SYMB LOG( P 1079-8986 E 1943-5894 ) 发表时间: 2019/09
类型：期刊论文 为本人加分：367.926783
5 On a Purported Proof that the Mind Is Not a Machine
来源：THOUGHT( P 2161-2234 E ) 发表时间: 2018/06
类型：期刊论文 为本人加分：74.583936
6 themes from godel: some recent developments
来源：J APPL LOG-IFCOLOG( P 2055-3706 E 2055-3714 ) 发表时间: 2017/11
类型：期刊论文 为本人加分：0.012000