Juliette Kennedy

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 5

Top Topics

Operational Semantics

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Publications

Juliette Kennedy, Ruy J. G. B. de Queiroz
24th Workshop on Logic, Language, Information and Computation - WoLLIC 2017. Arch. Math. Log. 60 (5) (2021)
Juliette Kennedy, Jouko Väänänen
Logicality and Model Classes. Bull. Symb. Log. 27 (4) (2021)
Juliette Kennedy, Menachem Magidor, Jouko Väänänen
Inner models from extended logics: Part 1. J. Math. Log. 21 (2) (2021)
Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017). Log. J. IGPL 27 (1) (2019)
Juliette Kennedy
Gödel's Reception of Turing's Model of Computability: The "Shift of Perception" in 1934. CiE (2017)
Juliette Kennedy, Saharon Shelah, Jouko Väänänen
Regular Ultrapowers at Regular Cardinals. Notre Dame J. Formal Log. 56 (3) (2015)
Juliette Kennedy
Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp. Bull. Symb. Log. 20 (1) (2014)
Juliette Kennedy
On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture. Bull. Symb. Log. 19 (3) (2013)
Juliette Kennedy, Jaap van Oosten
Preface. Ann. Pure Appl. Log. 163 (10) (2012)
Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen
Regular ultrafilters and finite square principles. J. Symb. Log. 73 (3) (2008)
Juliette Kennedy, Saharon Shelah
More on regular reduced products. J. Symb. Log. 69 (4) (2004)
Mark van Atten, Juliette Kennedy
On the philosophical development of Kurt Gödel. Bull. Symb. Log. 9 (4) (2003)
Juliette Kennedy, Gabriel Sandu
Introduction. Synth. 137 (1-2) (2003)
Juliette Kennedy, Saharon Shelah
On Regular Reduced Products. J. Symb. Log. 67 (3) (2002)