1. Analysis in a Formal Predicative Set Theory;Logic, Language, Information, and Computation;2021
2. Operation and Predicativity: Lorenzen’s Approach to Arithmetic;Paul Lorenzen -- Mathematician and Logician;2021
3. The Limits of Predicativity Revisited;The Legacy of Kurt Schütte;2020
4. Feferman and the Truth;Outstanding Contributions to Logic;2017
5. The Operational Perspective: Three Routes;Advances in Proof Theory;2016