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. MathSciNet review.
Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy, Bulletin of Symbolic Logic, March 2014.
Interpreting Gödel: Critical Essays, edited volume, Cambridge University Press, 2014.
Gödel's 1946 Princeton Bicentennial Lecture: An Appreciation, in Interpreting Gödel: Critical Essays, Cambridge University Press, 2014.
On the "Logic without Borders" Point
Logic without Borders: Essays on Set
Theory, Model Theory, Philosophical Logic and
Philosophy of Mathematics,
edited by Åsa Hirvonen,
Juha Kontinen, Roman Kossak and Andres Villaveces,
de Gruyter, 2015, 1-14.
Aesthetics and the Dream of Objectivity: Notes from Set Theory, with J. Väänänen, for the proceedings of the 2011 conference Mathematical Evidence, University of Oslo. Inquiry, 58(1), 2015, 83-98.
Regular Ultraproducts at Regular Cardinals,
with S. Shelah, and J. Väänänen,
Notre Dame Journal of Formal Logic, 56:3, 2015.
Turing, Gödel and the "Bright Abyss", proceedings of the conference Turing 100 at Boston University, November 2012, to appear.
Inner Models from Extended Logics, with Menachem Magidor and Jouko Väänänen, to appear.
Publications - Art
Logic Unfettered: European and American Abstraction Now,
Museumbrief, Mondrian House Publications, 2007.