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", in: Philosophical Explorations of the Legacy of Alan Turing (edited by J. Floyd and A. Bokulich), Proceedings of the conference Turing 100 at Boston University, November 2012, Springer, 2017.
Three Moments in the Life of the Mathematical Diagram: Notes on the Syntax/Semantics Distinction,
for the volume Mathematical Concepts edited by L. de Freitas, N. Sinclair and A. Coles. Cambridge University Press, to appear.
Squeezing Arguments and Strong Logics,
with J. Väänänen, Proceedings of LMPS 2016, Hannes Leitgeb, Ilkka Niiniluoto, Elliott Sober, and Paäivi Seppälä, editors, to appear.
(with Michael Malziels) The System that Destroys Itself, or Greenberg’s Modernism & the Liar’s Paradox, submitted.
Gödel’s Reception of Turing’s Model of Computability: the “Shift of Perception” in 1934, Proceedings of CiE 2017, extended abstract (10 pages), to appear.
Publications - Art
Logic Unfettered: European and American Abstraction Now,
Museumbrief, Mondrian House Publications, 2007.
Fred Sandback, Taide & Design, 11 (February 2011), 40-47.
Interview with Andy Goldsworthy, Taide & Design, 13 (July
Andy Goldsworthy, Pori Art Museum Publications, July 2011, pp.
Kant, Co-production, Actuality and Pedestrian Space: On the
Philosophical Writings of Fred Sandback,
for the volume Simplicity: Ideals of Practice in Mathematics and the Arts,
Roman Kossak and Philip Ording, eds., Springer, to appear.