Lectures on the philosophy of mathematics, Summer School on Mathematical Philosophy for Female Students, Munich Center for Mathematical Philosophy, 23-29 July, 2017
"On Gödel's reception of Gödel's Incompleteness Theorems."
Images of Mathematics lecture series, ETH, Zurich, 5-6 December, 2016
Set Theoretic Pluralism symposium, Aberdeen July 12-18, 2016
Philosophy of Mathematics Seminar, University of Oxford, November 30, 2015.
Entanglement and Formalism Freeness: Templates from Logic and Set Theory, Congress of Logic, Methodology and Philosophy of Science, Helsinki, August, 2015.
Keynote, Fourth Annual Conference of the Society for the Study of the
History of Analytical Philosophy, Trinity College Dublin, 4-6 June 2015.
"Mathematical Poetics", Mapping Traces
Universidad Nacional de Colombia, Bogota, Nov 8, 2014.
"Inner models and strong logics",
Universidad Nacional de Colombia, Bogota, Nov 7, 2014.
Seminar talk, University of Cambridge, Department of Mathematics, Oct 25, 2014.
"On Fred Sandback's Writings". Helsinki Collegium for Advanced Studies, Oct 14, 2014.
"On formalism freeness". Plenary talk, INFTY Final Conference in Set Theory, Bonn, March 5, 2014.
"On formalism freeness". Seminar talk, University of Stockholm, March 7, 2014.
"Aesthetics and the dream of objectivity: Notes from set theory". Workshop on Beauty and Explanation in Mathematics, Umeå, March 10, 2014.
"The drawing is a set of thoughts: On reading mathematical constructions as works of art". Bildmuseet, Umeå, March 11, 2014.
"Logical pluralism and meaning variance in the set-theoretic context". Seminar talk, Cambridge University, January 19, 2012.
"Change the Logic, Change the Meaning? Quine's Dictum and the Case of Set Theory". Seminar talk, Oxford University, January 24, 2012, abstract.
"Geometry and Paradoxes of Place: Reflections on the Art of Gabriel Orozco". Helsinki Art Aademy (Kuvataideakatemia), February 11, 2012.
"The Grundlagenstreit of the 1920s: What was (and is) the controversy?" History seminar, Institute for Advanced Study, March 5,
2012.
"Inner models and extended logics". MAMLS logic workshop, CUNY, March 9, 2012.
"Inner models and extended logics". School of Mathematics, Institute for Advanced Study, April 4, 2012.
"On some new inner models for set theory" University of Chicago, April 24, 2012.
Selected publications (in chronological order)
On regular reduced products, with Saharon Shelah,
Journal of Symbolic Logic, Volume 67, Number 3, Sept. 2002.
(dvi,
ps,
pdf).
History of Logic (vols. 1, 2), editors Juliette Kennedy and
Gabriel Sandu, Synthese, volume 137 (1-2), 2003.
On embedding models of arithmetic into reduced powers,
8th Workshop on Logic, Language, Informations and Computation---WoLLIC'2001
(Brasilia).
Mat. Contemp. 24 (2003), 91--115.
On embedding models of arithmetic of
cardinality aleph_1 into reduced powers, with Saharon Shelah,
Fundamenta Mathematicae, Volume 176, Issue 1, 2003. (dvi,
ps,
pdf).
On the Philosophical Development of Kurt Gödel, with Mark van Atten,
Bulletin of Symbolic Logic, Volume 9, Issue 4, December 2003. pages 425-476.
(pdf)
More on regular reduced products, with Saharon Shelah,
Journal of Symbolic Logic, Volume 69, Issue 4, December 2004.
(dvi,
ps,
pdf).
Gödel's Modernism: On Set-Theoretic Incompleteness, with Mark van Atten,
Graduate Faculty Philosophy Journal, volume 25, number 2, 289--349, 2004
(pdf).
Incompleteness - A Book Review,
Notices of the American Mathematical Society April 2006,
(pdf).
On Applications of Transfer Principles in Model Theory, with Jouko Väänänen,
in Set Theory: Recent Trends and Applications (A. Andretta ed.),
Quaderni di Matematica, vol 17, 2007, 111-136.
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,
(pdf),
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 After Gödel by Richard Tieszen, Notre Dame Philosophical Reviews, Oct 2013.
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
of View,
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, Springer, to appear.
Three Moments in the Life of the Mathematical Diagram,
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, proceedings of LMPS 2016, Hannes Leitgeb, Ilkka Niiniluoto, Elliott Sober, and Paäivi Seppaälä, editors.
(with Michael Malziels) The System that Destroys Itself, or Greenbergâ€™s Modernism & the Liarâ€™s Paradox, in preparation.
Publications - Art
Logic Unfettered: European and American Abstraction Now,
Museumbrief, Mondrian House Publications, 2007.
Exhibition: Fred Sandback at Pori.Pori Art Museum,
Pori, Finland. February 4 - May 29, 2011. Review in Helsingin Sanomat 24.2.2011 Section C3, and in ARTFORUM
Exhibition: Andy Goldsworthy.Pori Art Museum,
Pori, Finland. June 10 - September 4, 2011. Review in Helsingin Sanomat 11.6.2011