35 found
Sort by:
Disambiguations:
Juliette Kennedy [34]Juliette Cara Kennedy [1]
See also:
Profile: Juliette Cara Kennedy (University of Helsinki)
Profile: Juliette Kennedy (University of Helsinki)
  1. Juliette Kennedy (ed.) (forthcoming). Interpreting Gödel. Cambridge.
  2. Juliette Kennedy (forthcoming). On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture. Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    In this paper we isolate a notion that we call "formalism freeness" from Gödel's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability We suggest an implementation of Gödel's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic in the (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Juliette Kennedy (forthcoming). Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy. [REVIEW] Bulletin of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  4. Juliette Kennedy (2015). On the “Logic Without Borders” Point of View. [REVIEW] In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter 1-14.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Juliette Kennedy (2015). On the “Logic Without Borders” Point of View: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter 1-14.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Juliette Kennedy & Mark Atten, Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer.
    Gödel first advocated the philosophy of Leibniz and then, since 1959, that of Husserl. Based on research in Gödel’s archive, from which a number of unpublished items are presented, we argue that Gödel turned to Husserl in search of a means to make Leibniz’ monadology scientific and systematic, and This explains Gödel’s specific turn to Husserl’s transcendental idealism as opposed to the realism of the earlier Logical Investigations. We then give three examples of concrete influence from Husserl on Gödel’s writings.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Juliette Kennedy, Saharon Shelah & Jouko Väänänen (2015). Regular Ultrapowers at Regular Cardinals. Notre Dame Journal of Formal Logic 56 (3):417-428.
    In earlier work by the first and second authors, the equivalence of a finite square principle $\square^{\mathrm{fin}}_{\lambda,D}$ with various model-theoretic properties of structures of size $\lambda $ and regular ultrafilters was established. In this paper we investigate the principle $\square^{\mathrm{fin}}_{\lambda,D}$—and thereby the above model-theoretic properties—at a regular cardinal. By Chang’s two-cardinal theorem, $\square^{\mathrm{fin}}_{\lambda,D}$ holds at regular cardinals for all regular filters $D$ if we assume the generalized continuum hypothesis. In this paper we prove in ZFC that, for certain regular filters (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Juliette Kennedy & Jouko Väänänen (2015). Aesthetics and the Dream of Objectivity: Notes From Set Theory. Inquiry 58 (1):83-98.
    In this paper, we consider various ways in which aesthetic value bears on, if not serves as evidence for, the truth of independent statements in set theory.... the aesthetic issue, which in practice will also for me be the decisive factor—John von Neumann, letter to Carnap, 1931For me, it is the aesthetics which may very well be the final arbiter—P. J. Cohen, 2002.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Juliette Kennedy (ed.) (2014). Interpreting Gödel: Critical Essays. Cambridge University Press.
    The logician Kurt Gödel published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gödel's work on the foundations and (...)
    No categories
     
    My bibliography  
     
    Export citation  
  10. Juliette Kennedy & Roman Kossak (eds.) (2012). Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies. Cambridge University Press.
    Machine generated contents note: 1. Introduction Juliette Kennedy and Roman Kossak; 2. Historical remarks on Suslin's problem Akihiro Kanamori; 3. The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture W. Hugh Woodin; 4. [omega]-Models of finite set theory Ali Enayat, James H. Schmerl and Albert Visser; 5. Tennenbaum's theorem for models of arithmetic Richard Kaye; 6. Hierarchies of subsystems of weak arithmetic Shahram Mohsenipour; 7. Diophantine correct open induction Sidney Raffer; 8. Tennenbaum's theorem and recursive reducts James H. (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Juliette Kennedy & Jaap van Oosten (2012). Preface. Annals of Pure and Applied Logic 163 (10):1359.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Juliette Kennedy (2011). Can the Continuum Hypothesis Be Solved? The Institute Letter.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. Juliette Kennedy (2011). Gödel's Thesis--An Appreciation. In Baaz Mathias, Christos Papadimitriou, Hilary Putnam, Dana Scott & Charles Harper (eds.), Horizons of Truth. Cambridge University Press 95.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Juliette Kennedy (2011). Review of The Autonomy of Mathematical Knowledge. Bulletin of Symbolic Logic 17 (1):119-122.
  15. Juliette Kennedy (2011). The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited. [REVIEW] Bulletin of Symbolic Logic 17 (1):119-121.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Juliette Kennedy (2009). Gödel's Modernism: On Set Theoretic Incompleteness, Revisited. In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. Juliette Kennedy (2009). T. Gowers (Editor), The Princeton Companion to Mathematics. Bulletin of Symbolic Logic 35 (4).
     
    My bibliography  
     
    Export citation  
  18. Juliette Kennedy (2009). The Princeton Companion to Mathematics. [REVIEW] Bulletin of Symbolic Logic 15 (4):431-435.
     
    My bibliography  
     
    Export citation  
  19. Juliette Kennedy & Mark van Atten (2009). On Gödel's Logic. In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  20. Mark Van Atten & Juliette Kennedy (2009). Göodel's Logic. In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier 449-509.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Juliette Kennedy, Kurt Gödel. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Juliette Kennedy, Saharon Shelah & Jouko Väänänen (2008). Regular Ultrafilters and Finite Square Principles. Journal of Symbolic Logic 73 (3):817-823.
    We show that many singular cardinals λ above a strongly compact cardinal have regular ultrafilters D that violate the finite square principle $\square _{\lambda ,D}^{\mathit{fin}}$ introduced in [3]. For such ultrafilters D and cardinals λ there are models of size λ for which Mλ / D is not λ⁺⁺-universal and elementarily equivalent models M and N of size λ for which Mλ / D and Nλ / D are non-isomorphic. The question of the existence of such ultrafilters and models was (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Juliette Kennedy (2007). Review of “Kurt Gödel: Das Album”,. The Mathematical Intelligencer 29 (3): 73-75,.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  24. Juliette Kennedy & Jouko Vaananen (2007). On Applications of Transfer Principles in Model Theory. In Alessandro Andretta (ed.), On Applications of Transfer Principles in Model Theory. Quaderni di Matematica
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25. Juliette Kennedy (2006). Incompleteness - A Book Review. Notices of the American Mathematical Society.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  26. Juliette Cara Kennedy & Saharon Shelah (2004). More on Regular Reduced Products. Journal of Symbolic Logic 69 (4):1261 - 1266.
    The authors show. by means of a finitary version $\square_{\lambda D}^{fin}$ of the combinatorial principle $\square_\lambda^{h*}$ of [7]. the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal A. if Mi and Ni are elementarily equivalent models of a language of size $\leq \lambda$ , then the second player has a winning strategy in the Ehrenfeucht- $Fra\uml{i}ss\acute{e}$ game of length $\lambda^{+}$ on $\pi_{i} M_{i}/D$ and $\pi_{i} N_{i}/D$ . (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Juliette Kennedy & Mark van Atten (2004). Gödel's Modernism: On Set-Theoretic Incompleteness. Graduate Faculty Philosophy Journal 25 (2):289--349.
  28. Mark Van Atten & Juliette Kennedy (2003). On the Philosophical Development of Kurt Gödel. Bulletin of Symbolic Logic 9 (4):425 - 476.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Juliette Kennedy (2003). On Embedding Models of Arithmetic Into Reduced Powers. Matematica Contemporanea 24 (1):91--115.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  30. Juliette Kennedy & Gabriel Sandu (2003). History of Logic. Synthese 137:459-460.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Juliette Kennedy & Gabriel Sandu (2003). Introduction. Synthese 137 (1-2):1-1.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  32. Juliette Kennedy & Saharon Shelah (2003). On Embedding Models of Arithmetic of Cardinality Aleph_1 Into Reduced Powers. Fundamenta Mathematicae 176 (1).
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  33. Mark Van Atten & Juliette Kennedy (2003). Gödel's Philosophical Developments. Bulletin of Symbolic Logic 9:470-92.
     
    My bibliography  
     
    Export citation  
  34. Mark Van Atten & Juliette Kennedy (2003). On the Philosophical Development of Kurt Gödel. Bulletin of Symbolic Logic 9 (4):425-476.
  35. Juliette Kennedy & Saharon Shelah (2002). On Regular Reduced Products. Journal of Symbolic Logic 67 (3):1169-1177.
    Assume $\langle \aleph_0, \aleph_1 \rangle \rightarrow \langle \lambda, \lambda^+ \rangle$ . Assume M is a model of a first order theory T of cardinality at most λ+ in a language L(T) of cardinality $\leq \lambda$ . Let N be a model with the same language. Let Δ be a set of first order formulas in L(T) and let D be a regular filter on λ. Then M is $\Delta-embeddable$ into the reduced power $N^\lambda/D$ , provided that every $\Delta-existential$ formula true (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation