Juliette Kennedy

Seminar: Intercity (Utrecht/Nijmegen) Philosophy of Math Seminar, 2008-2009

Poster: Aesthetics and Mathematics, 9-10 November 2007

Research Interests

• Set theory and set-theoretic model theory.
• Foundations and philosophy of mathematics.
• History of Logic.

Teaching

• Teaches Advanced topics in set theory, Mathematical Logic, Model Theory, Elements of Set Theory, Linear algebra I, Topology II, Reading Seminar: "Phenomenology and Mathematics". We will begin by discussing Husserl's "The Origin of Geometry." Topology I, Axiomatic set theory, Axiomatic set theory II.
• Arithmetic: Lecture notes.
• Currently: Topology I (Spring 2010), Set Theory Seminar (Spring 2010).

Publications

• On regular reduced products, with Saharon Shelah, Journal of Symbolic Logic, Volume 67, Number 3, Sept. 2002. (dvi, ps, pdf).
• On embedding models of arithmetic into reduced powers, 8th Workshop on Logic, Language, Informations and Computation---WoLLIC'2001 (Brasília). 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.
• Kurt Gödel, An entry in the Stanford Encyclopedia of Philosophy, 2007.
• Logic Unfettered: European and American Abstraction Now, Museumbrief, Mondrian House Publications, 2007.
• 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.
• 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.
• Review of the Princeton Companion to Mathematics, T. Gowers, ed., Bulletin of Symbolic Logic, vol 15(4), December 2009, 431-436.
• Gödel's Thesis--An Appreciation, in Horizons of Truth, Proceedings of the Gödel Centenary, Cambridge University Press, to appear 2010.

Recent Curatorial Projects

• Exhibition: Logic Unfettered: European and American Abstraction Now. Mondriaan Huis, Amersfoort, Netherlands, November 2, 2007 to April 12, 2008. Review in NY Arts/Art Fairs International, September 2008, vol.13, #7/8, pp. 22-23: Notes on "Logic Unleashed - European and American Abstraction Now" at Mondrian House by Marek Bartelik.

Address