-
10Realisability for infinitary intuitionistic set theoryAnnals of Pure and Applied Logic 174 (6): 103259. 2023.
-
21The first-order logic of CZF is intuitionistic first-order logicJournal of Symbolic Logic 1-23. forthcoming.We prove that the first-order logic of CZF is intuitionistic first-order logic. To do so, we introduce a new model of transfinite computation (Set Register Machines) and combine the resulting notion of realisability with Beth semantics. On the way, we also show that the propositional admissible rules of CZF are exactly those of intuitionistic propositional logic.
-
53Should pluralists be pluralists about pluralism?Synthese 199 (5-6): 12663-12682. 2021.How many correct logics are there? Monists endorse that there is one, pluralists argue for many, and nihilists claim that there are none. Reasoning about these views requires a logic. That is the meta-logic. It turns out that there are some meta-logical challenges specifically for the pluralists. I will argue that these depend on an implicitly assumed absoluteness of correct logic. Pluralists can solve the challenges by giving up on this absoluteness and instead adopt contextualism about correct…Read more
-
20Logics of intuitionistic Kripke-Platek set theoryAnnals of Pure and Applied Logic 172 (10): 103014. 2021.We investigate the logical structure of intuitionistic Kripke-Platek set theory , and show that the first-order logic of is intuitionistic first-order logic IQC.
Amsterdam, North Holland, Netherlands
Areas of Specialization
2 more
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Nonclassical Logics |
Mathematical Logic |
Set Theory |
Proof Theory |
Logical Pluralism |