Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Juliette Kennedy"'
Autor:
Juliette Kennedy, Roman Kossak
This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics
Autor:
Juliette Kennedy
Publikováno v:
Philosophia Mathematica. 30:256-272
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dea7b5a63d2f8d9ba834e845015f8b64
https://doi.org/10.1093/philmat/nkac003
https://doi.org/10.1093/philmat/nkac003
Publikováno v:
Theoria. 87:870-873
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b88c3e4cdaf6d2fb0ddfedfb6ee547c0
https://doi.org/10.1111/theo.12278
https://doi.org/10.1111/theo.12278
Autor:
Juliette Kennedy
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86e0e39962971f57eea7ba31a33e5038
https://doi.org/10.1017/9781108981972
https://doi.org/10.1017/9781108981972
Autor:
Juliette Kennedy
Publikováno v:
Theoria. 87:874-884
This article considers Godel's remarks on Plato's dialogueEuthyphro, which he made in conversation with the proof theorist Sue Toledo in the years 1972-1975.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45db7bf07f5c483741449d5319bea342
https://doi.org/10.1111/theo.12269
https://doi.org/10.1111/theo.12269
Publikováno v:
Posters.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6fe74be17773b2d9d657e48d3557ed2
https://doi.org/10.1136/gutjnl-2021-bsg.150
https://doi.org/10.1136/gutjnl-2021-bsg.150
Autor:
Jouko Väänänen, Juliette Kennedy
Publikováno v:
Bulletin of Symbolic Logic
We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in whic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d41a42caf147f23e090492816df6ce62
http://arxiv.org/abs/2106.13506
http://arxiv.org/abs/2106.13506
Publikováno v:
Archive for Mathematical Logic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53a529efe03e170d22de8e5ede7531ce
https://doi.org/10.1007/s00153-021-00785-4
https://doi.org/10.1007/s00153-021-00785-4
Autor:
Sophia Arbeiter, Juliette Kennedy
This volume features more than 20 essays that explore the work of one of the most important contemporary philosophers of mathematics. It will help readers to better appreciate this significant and prolific philosopher. Within philosophy of mathematic
Publikováno v:
Journal of Mathematical Logic
If we replace first-order logic by second-order logic in the original definition of Gödel’s inner model [Formula: see text], we obtain the inner model of hereditarily ordinal definable (HOD) sets [33]. In this paper, we consider inner models that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7d8ee270befd98d83518b00990d4bc2d