出版物

邀请非标准分析及其最近的应用。合着艾萨克goldbring。 美国数学会的通知 66(6):842-51,2019

哲学和理论模型。用添按钮合着,与由威尔弗里德霍奇历史附录。牛津大学出版社,2018。 勘误表页面.

二阶算术的子系统的史前。合着沃尔特院长。 符号逻辑的审查,10(2):357-396,2017。 [DOI]

该积分的Denjoy的可定义性方面fundamenta mathematicae,237:1-29,2017年。 [DOI]

结构和categoricity:在数学哲学的参考和真值确定性。合着恬按钮。 数学philosophia的, 24(3):283-307,2016。 [DOI]

对于量化模态逻辑可实现语义:概括弗拉格1985年的建设。合着与本杰明克。凛。 符号逻辑的审查, 9(4):752-809,2016。 [DOI]

抽象的强度与表语理解符号逻辑的公告,22(1):105-120,2016年[DOI]。

弗雷格的grundgesetze和哥德尔constructible宇宙碎片. 符号逻辑的轴颈,81(2):605-628,2016。 [DOI]

predicativity,罗素 - 迈希尔悖论,以及教会的内涵逻辑哲学逻辑的轴颈,45(3):277-326,2016。 [DOI]

相对categoricity和抽象原则。肖恩合着ebels - 杜根。 符号逻辑的审查,8(3):572-606,2015。 [DOI]

经验主义,概率和算术方面的知识:初步防御应用逻辑的轴颈,12(3):319-348,2014。 [DOI]

逻辑主义,解释性和算术方面的知识符号逻辑的审查,7(1):84-119,2014。 [DOI]

比较皮亚诺算术,基本规律v和休谟的原则纯和应用逻辑的志163:1679年至1709年,2012。 [DOI]

不一致的同行和因果关系。 康德(研究) 98(4):418-430,2007。 [DOI]

 


预印本服务器上作者的个人资料页 

谷歌学术

菲尔论文

的arXiv

 


教学:

逻辑,第一道菜。 31 2020冬季理念。

模态逻辑。 2020年冬季136的理念。