{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:20:32Z","timestamp":1772450432131,"version":"3.50.1"},"reference-count":8,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T00:00:00Z","timestamp":1638403200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2023,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In his paper on the incompleteness theorems, G\u00f6del seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that \u2018direct\u2019 self-reference can actually be used to prove his result.<\/jats:p>","DOI":"10.1017\/s1755020321000526","type":"journal-article","created":{"date-parts":[[2021,12,2]],"date-time":"2021-12-02T09:24:31Z","timestamp":1638437071000},"page":"650-654","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":6,"title":["G\u00d6DEL\u2019S THEOREM AND DIRECT SELF-REFERENCE"],"prefix":"10.1017","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7993-9456","authenticated-orcid":false,"given":"SAUL A.","family":"KRIPKE","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2021,12,2]]},"reference":[{"key":"S1755020321000526_r4","doi-asserted-by":"publisher","DOI":"10.1017\/S175502031400029X"},{"key":"S1755020321000526_r6","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S1755020321000526_r3","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020314000288"},{"key":"S1755020321000526_r5","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nkl028"},{"key":"S1755020321000526_r7","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020317000351"},{"key":"S1755020321000526_r8","first-page":"149","volume-title":"Handbook of Philosophical Logic","volume":"11","author":"Visser","year":"2004"},{"key":"S1755020321000526_r1","first-page":"145","volume-title":"Kurt G\u00f6del: Collected Works, Volume I","author":"G\u00f6del","year":"1986"},{"key":"S1755020321000526_r2","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020321000393"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020321000526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T10:34:22Z","timestamp":1684233262000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020321000526\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,2]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,6]]}},"alternative-id":["S1755020321000526"],"URL":"https:\/\/doi.org\/10.1017\/s1755020321000526","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12,2]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}