30 found
Sort by:
Disambiguations:
Juliette Kennedy [29]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). On the Logic Without Borders Point of View. In Juha Asa (ed.), Logic without Borders. de Gruyter.
    No categories
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. Juliette Kennedy (forthcoming). The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited. Bulletin of Symbolic Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Juliette Kennedy & Jouko Vaananen (forthcoming). Aesthetics and the Dream of Objectivity: Notes From Set Theory. Inquiry.
    No categories
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. Juliette Kennedy & Jaap van Oosten (2012). Preface. Annals of Pure and Applied Logic 163 (10):1359.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Juliette Kennedy (2011). Can the Continuum Hypothesis Be Solved? The Institute Letter.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  10. 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  
  11. Juliette Kennedy (2011). Review of The Autonomy of Mathematical Knowledge. Bulletin of Symbolic Logic 17 (1):119-122.
  12. 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  
  13. Juliette Kennedy (2009). T. Gowers (Editor), The Princeton Companion to Mathematics. Bulletin of Symbolic Logic 35 (4).
     
    My bibliography  
     
    Export citation  
  14. 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  
  15. 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  
  16. Juliette Kennedy, Kurt Gödel. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. 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  
  18. Juliette Kennedy (2007). Review of “Kurt Gödel: Das Album”,. The Mathematical Intelligencer 29 (3): 73-75,.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  19. 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  
  20. Juliette Kennedy (2006). Incompleteness - A Book Review. Notices of the American Mathematical Society.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  21. 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  
  22. Juliette Kennedy & Mark van Atten (2004). Gödel's Modernism: On Set-Theoretic Incompleteness. Graduate Faculty Philosophy Journal 25 (2):289--349.
  23. 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  
  24. Juliette Kennedy (2003). On Embedding Models of Arithmetic Into Reduced Powers. Matematica Contemporanea 24 (1):91--115.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  25. Juliette Kennedy & Gabriel Sandu (2003). History of Logic. Synthese 137:459-460.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Juliette Kennedy & Gabriel Sandu (2003). Introduction. Synthese 137 (1-2):1-1.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  27. 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  
  28. Mark Van Atten & Juliette Kennedy (2003). Gödel's Philosophical Developments. Bulletin of Symbolic Logic 9:470-92.
    No categories
     
    My bibliography  
     
    Export citation  
  29. Mark Van Atten & Juliette Kennedy (2003). On the Philosophical Development of Kurt Gödel. Bulletin of Symbolic Logic 9 (4):425-476.
  30. 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