Juliette Kennedy

17 papers C 2Journal 13
YearRankTypeTitle / Venue / Authors
2021 J jnl
24th Workshop on Logic, Language, Information and Computation - WoLLIC 2017.
Arch. Math. Log.
Juliette Kennedy, Ruy J. G. B. de Queiroz
2021 J jnl
Inner models from extended logics: Part 1.
J. Math. Log.
Juliette Kennedy, Menachem Magidor, Jouko Väänänen
2021 J jnl
Logicality and Model Classes.
Bull. Symb. Log.
Juliette Kennedy, Jouko Väänänen
2019 J jnl
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017).
Log. J. IGPL
Juliette Kennedy, Ruy J. G. B. de Queiroz, Alexandra Silva, Mehrnoosh Sadrzadeh
2017 C conf
Gödel's Reception of Turing's Model of Computability: The "Shift of Perception" in 1934.
CiE
Juliette Kennedy
2017 C ed.
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
WoLLIC
Juliette Kennedy, Ruy J. G. B. de Queiroz
2015 — ch.
On the "Logic without Borders" Point of View.
Logic Without Borders
Juliette Kennedy
2015 J jnl
Regular Ultrapowers at Regular Cardinals.
Notre Dame J. Formal Log.
Juliette Kennedy, Saharon Shelah, Jouko Väänänen
2014 J jnl
Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp.
Bull. Symb. Log.
Juliette Kennedy
2013 J jnl
On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture.
Bull. Symb. Log.
Juliette Kennedy
2012 J jnl
Preface.
Ann. Pure Appl. Log.
Juliette Kennedy, Jaap van Oosten
2009 — ch.
Gödel's Logic.
Logic from Russell to Church
Mark van Atten, Juliette Kennedy
2008 J jnl
Regular ultrafilters and finite square principles.
J. Symb. Log.
Juliette Kennedy, Saharon Shelah, Jouko A. Väänänen
2004 J jnl
More on regular reduced products.
J. Symb. Log.
Juliette Kennedy, Saharon Shelah
2003 J jnl
Introduction.
Synth.
Juliette Kennedy, Gabriel Sandu
2003 J jnl
On the philosophical development of Kurt Gödel.
Bull. Symb. Log.
Mark van Atten, Juliette Kennedy
2002 J jnl
On Regular Reduced Products.
J. Symb. Log.
Juliette Kennedy, Saharon Shelah