40 found
Order:
Disambiguations:
Juliette Kennedy [39]Juliette Cara Kennedy [1]
See also:
Profile: Juliette Kennedy (University of Helsinki)
Profile: Juliette Cara Kennedy (University of Helsinki)
  1. Juliette Kennedy, Mark van Atten & Mark Atten (2015). On the Philosophical Development of Kurt Gödel. In Juliette Kennedy, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer International Publishing
    No categories
     
    Export citation  
     
    My bibliography   3 citations  
  2.  27
    Juliette Kennedy (forthcoming). Kant, Co-Production, Actuality and Pedestrian Space: On the Philosophical Writings of Fred Sandback. In Roman Kossak & Philip Ording (eds.), Simplicity. Springer
    Direct download  
     
    Export citation  
     
    My bibliography  
  3.  48
    Mark Van Atten & Juliette Kennedy (2003). On the Philosophical Development of Kurt Gödel. Bulletin of Symbolic Logic 9 (4):425-476.
  4.  2
    Juliette Kennedy (2013). On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture. Bulletin of Symbolic Logic 19 (3):351-393.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  1
    Juliette Kennedy (2014). Maddy Penelope, Defending the Axioms: On the Philosophical Foundations of Set Theory, Oxford University Press, Oxford, UK, 2011, 150pp. [REVIEW] Bulletin of Symbolic Logic 20 (1):91-93.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  12
    Juliette Kennedy & Mark van Atten (2004). Gödel's Modernism: On Set-Theoretic Incompleteness. Graduate Faculty Philosophy Journal 25 (2):289--349.
  7.  53
    Gabriella Crocco (2003). Gödel, Carnap and the Fregean Heritage. Synthese 137 (1-2):21 - 41.
    Thorough a detailed analysis of version III of Gödel's Is mathematics syntax of language?, we propose a new interpretation of Gödel's criticism against the conventionalist point of view in mathematics. When one reads carefully Gödel's text, it brings out that, contrary to the opinion of some commentators, Gödel did not overlook the novelty of Carnap's solution, and did not criticise him from an old-fashioned conception of science. The general aim of our analysis is to restate the Carnap/Gödel debate in the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  6
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  11
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  10.  7
    Juliette Kennedy & Gabriel Sandu (2003). History of Logic. Synthese 137:459-460.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  8
    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  
     
    Export citation  
     
    My bibliography  
  12.  10
    Juliette Kennedy (2013). On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture. Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3).
    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)  
     
    Export citation  
     
    My bibliography  
  13.  7
    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 (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  7
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  15.  4
    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  
     
    Export citation  
     
    My bibliography  
  16.  23
    Juliette Kennedy & Gabriel Sandu (2003). Introduction. Synthese 137 (1-2):1-1.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  17.  9
    Mark Van Atten & Juliette Kennedy (2003). On the Philosophical Development of Kurt Gödel. Bulletin of Symbolic Logic 9 (4):425 - 476.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  4
    Juliette Kennedy (2011). The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited. [REVIEW] Bulletin of Symbolic Logic 17 (1):119-121.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19.  6
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  20.  8
    Juliette Kennedy, Kurt Gödel. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  21.  3
    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 (7 more)  
     
    Export citation  
     
    My bibliography  
  22. Juliette Kennedy (2011). Can the Continuum Hypothesis Be Solved? The Institute Letter.
    Translate
     
     
    Export citation  
     
    My bibliography  
  23. 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  
     
    Export citation  
     
    My bibliography  
  24. 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
  25. Juliette Kennedy (2003). Introduction. Synthese 137 (1/2):1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. Juliette Kennedy (2006). Incompleteness - A Book Review. Notices of the American Mathematical Society.
    Translate
     
     
    Export citation  
     
    My bibliography  
  27. Juliette Kennedy (ed.) (2014). Interpreting Gödel. Cambridge.
    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 (...)
     
    Export citation  
     
    My bibliography  
  28. 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
     
    Export citation  
     
    My bibliography  
  29. 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
     
     
    Export citation  
     
    My bibliography  
  30. Juliette Kennedy (2003). On Embedding Models of Arithmetic Into Reduced Powers. Matematica Contemporanea 24 (1):91--115.
    Translate
     
     
    Export citation  
     
    My bibliography  
  31. Juliette Kennedy & Saharon Shelah (2003). On Embedding Models of Arithmetic of Cardinality Aleph_1 Into Reduced Powers. Fundamenta Mathematicae 176 (1).
    Translate
     
     
    Export citation  
     
    My bibliography  
  32. Juliette Kennedy & Mark van Atten (2009). On Gödel's Logic. In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier
    Translate
     
     
    Export citation  
     
    My bibliography  
  33. Juliette Kennedy & Jaap van Oosten (2012). Preface. Annals of Pure and Applied Logic 163 (10):1359.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Juliette Kennedy (forthcoming). Review of Defending the Axioms: On the Philosophical Foundations of Set Theory by Penelope Maddy. [REVIEW] Bulletin of Symbolic Logic.
     
    Export citation  
     
    My bibliography  
  35. Juliette Kennedy (2007). Review of “Kurt Gödel: Das Album”,. The Mathematical Intelligencer 29 (3): 73-75,.
    Translate
     
     
    Export citation  
     
    My bibliography  
  36. Juliette Kennedy (2011). Review of The Autonomy of Mathematical Knowledge. Bulletin of Symbolic Logic 17 (1):119-122.
  37.  25
    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  
     
    Export citation  
     
    My bibliography  
  38. Juliette Kennedy (2009). T. Gowers (Editor), The Princeton Companion to Mathematics. Bulletin of Symbolic Logic 35 (4).
     
    Export citation  
     
    My bibliography  
  39. Juliette Kennedy (2009). The Princeton Companion to Mathematics. [REVIEW] Bulletin of Symbolic Logic 15 (4):431-435.
     
    Export citation  
     
    My bibliography  
  40. Mark Van Atten & Juliette Kennedy (2003). Gödel's Philosophical Developments. Bulletin of Symbolic Logic 9:470-92.
     
    Export citation  
     
    My bibliography