Review of “Kurt Gödel: Das Album”,
by Sigmund, Dawson and Mühlberger,The Mathematical Intelligencer vol. 29, issue 3, pp. 73-75, 2007.
Regular Ultrafilters and Finite Square Principles, with Saharon Shelah, and Jouko Väänänen,
Journal of Symbolic Logic 73(2), 2008, 817-823.
On Gödel's Logic, with Mark van Atten,
The Handbook of the History of Logic, volume 5, Elsevier, 2009, 449-509.
Gödel's Modernism: On Set Theoretic Incompleteness, Revisited, with Mark van Atten,
in Logicism, Intuitionism and Formalism: What has become of them?,
edited by Sten Lindström, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen, Springer, 2009, 303-356.
Can the Continuum Hypothesis be Solved?, The Institute Letter, Institute for Advanced Study, Fall 2011.
Gödel's Thesis: An Appreciation, in Horizons of Truth, Proceedings of the Gödel Centenary, Cambridge University Press, 2011.
Hilbert's Twenty-fourth Problem: On the Aesthetic of Simplicity in Mathematics.Arkadia Gazette, Helsinki, January 2012.
Set Theory, Classical and Constructive,Annals of Pure and Applied Logic, volume 163, issue 10, pages 1359-1446 (October 2012).
Guest editor with Jaap van Oosten.
Invited papers from the meeting of the same name in Amsterdam, May 6-7, 2010.
On Formalism Freeness:
Implementing Gödel's 1946 Princeton Bicentennial Lecture,
Bulletin of Symbolic Logic, volume 19, issue 3,
September 2013, 351-393.