| On the philosophical development of Kurt Gödel M Van Atten, J Kennedy Bulletin of Symbolic Logic 9 (4), 425-476, 2003 | 100 | 2003 |
| Kurt gödel J Kennedy | 63 | 2007 |
| On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture J Kennedy Bulletin of Symbolic Logic 19 (3), 351-393, 2013 | 35 | 2013 |
| Interpreting Gödel: critical essays J Kennedy Cambridge University Press, 2014 | 25 | 2014 |
| Set theory, arithmetic, and foundations of mathematics: theorems, philosophies J Kennedy, R Kossak Cambridge University Press, 2011 | 25 | 2011 |
| Gödel, Tarski and the lure of natural language: logical entanglement, formalism freeness J Kennedy Cambridge University Press, 2020 | 17 | 2020 |
| “Gödel’s Modernism: On Set-Theoretic Incompleteness,” Revisited M Van Atten, J Kennedy Logicism, Intuitionism, and Formalism: What has Become of Them?, 303-355, 2009 | 16 | 2009 |
| Inner models from extended logics: Part 1 J Kennedy, M Magidor, J Väänänen Journal of Mathematical Logic 21 (02), 2150012, 2021 | 14 | 2021 |
| Turing, Gödel and the “bright abyss” J Kennedy Philosophical Explorations of the Legacy of Alan Turing: Turing 100, 63-91, 2017 | 14 | 2017 |
| Gödel’s 1946 Princeton bicentennial lecture: an appreciation J Kennedy Juliette Kennedy, 109-130, 2014 | 14 | 2014 |
| Gödel's Logic. M van Atten, J Kennedy Logic from Russell to Church, 449-509, 2009 | 14 | 2009 |
| Gödel’s modernism: On set-theoretic incompleteness JC Kennedy, M van Atten Graduate Faculty Philosophy Journal 25 (2), 289-349, 2004 | 14 | 2004 |
| On regular reduced products J Kennedy, S Shelah The Journal of Symbolic Logic 67 (3), 1169-1177, 2002 | 14 | 2002 |
| Gödel’s thesis: an appreciation J Kennedy Kurt Gödel and the Foundations of Mathematics, 95, 2011 | 13 | 2011 |
| Can the Continuum Hypothesis be Solved? J Kennedy | 13 | 2011 |
| Gödel's incompleteness theorems J Kennedy Elements in Philosophy and Logic, 2022 | 8 | 2022 |
| Logicality and model classes J Kennedy, J Väänänen Bulletin of Symbolic Logic 27 (4), 385-414, 2021 | 8 | 2021 |
| Inner models from extended logics J Kennedy, M Magidor, J Väänänen preprint, 2016 | 8 | 2016 |
| Regular ultrafilters and finite square principles J Kennedy, S Shelah, J Väänänen The Journal of Symbolic Logic 73 (3), 817-823, 2008 | 8 | 2008 |
| Did the incompleteness theorems refute Hilbert’s Program J Kennedy The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics …, 2018 | 7 | 2018 |
Mark van AttenCNRS (institute: Archives Husserl, Pays Germaniques, ENS, Paris)Verified email at ens.fr
