{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T18:10:17Z","timestamp":1726251017058},"reference-count":21,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T00:00:00Z","timestamp":1716854400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,9,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>This volume is one of two special issues collecting articles by invited speakers of the conference \u2018Celebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u2019 held in N\u00fcrtingen (Germany) in July 2021. The conference was organized by the Carl Friedrich von Weizs\u00e4cker Center at the University of T\u00fcbingen with support by the ERC-funded project G\u00f6del Enigma: Rediscovering Kurt G\u00f6del through his unpublished works at the University of Helsinki and by the Kurt G\u00f6del Society in Vienna.<\/jats:p>","DOI":"10.1093\/logcom\/exae026","type":"journal-article","created":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T13:26:43Z","timestamp":1716989203000},"page":"1003-1009","source":"Crossref","is-referenced-by-count":0,"title":["90 years of G\u00f6del\u2019s incompleteness theorems: Logic and computation"],"prefix":"10.1093","volume":"34","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[{"name":"TU Wien"}]},{"given":"Marcel","family":"Ertel","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen"}]},{"given":"Reinhard","family":"Kahle","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen"}]},{"given":"Thomas","family":"Piecha","sequence":"additional","affiliation":[{"name":"University of T\u00fcbingen"}]},{"given":"Jan","family":"von Plato","sequence":"additional","affiliation":[{"name":"University of Helsinki"}]}],"member":"286","published-online":{"date-parts":[[2024,5,28]]},"reference":[{"key":"2024091304301850200_ref1","article-title":"Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d","volume-title":"History and Philosophy of Logic","author":"Baaz","year":"2025"},{"key":"2024091304301850200_ref2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible Sets and Structures","author":"Barwise","year":"1975"},{"key":"2024091304301850200_ref3","article-title":"Effective inseparability and some applications in meta-mathematics","author":"Cheng","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref4","article-title":"An introduction to Lorenzen\u2019s \u201cAlgebraic and logistic investigations on free lattices\u201d","author":"Coquand","year":"1951","journal-title":"History and Philosophy of Logic. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref5","article-title":"The extended predicative Mahlo universe in Martin\u2013L\u00f6f type theory","author":"Dybjer","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref6","article-title":"Implicit commitment in a general setting","author":"Lelyk","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref7","article-title":"Normal functions and maximal order types","author":"Freund","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref8","article-title":"Adventures in G\u00f6del Incompleteness","author":"Friedman","year":"2024","journal-title":"History and Philosophy of Logic. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref9","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","article-title":"\u00dcber formal unentscheidbare s\u00e4tze der principia mathematica und verwandter systeme i","volume":"38","author":"G\u00f6del","year":"1931","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"2024091304301850200_ref10","first-page":"596","article-title":"On Formally Undecidable Propositions of Principia Mathematica and Related Systems I","volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879-1931","author":"G\u00f6del","year":"1967"},{"key":"2024091304301850200_ref11","first-page":"144","article-title":"\u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I \/ On Formally Undecidable Propositions of Principia Mathematica and Related Systems I","volume-title":"Kurt G\u00f6del: Collected Works I. Publications 1929\u20131936","author":"G\u00f6del","year":"1986"},{"journal-title":"G\u00f6del, Gentzen, and constructive consistency proofs","year":"2024","author":"H\u00e4meen-Anttila","key":"2024091304301850200_ref12"},{"key":"2024091304301850200_ref13","article-title":"Tame and full strict-${\\varPi }\\_1^1$ reflection: a proof-theoretic approach","author":"J\u00e4ger","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref14","article-title":"G\u00f6del\u2019s first proof of the consistency of the axiom of choice","author":"Kanamori","year":"2024","journal-title":"History and Philosophy of Logic. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref15","article-title":"The provability logic of all provability predicates","author":"Kurahashi","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref16","article-title":"Some Remarks on an Early Version of G\u00f6del\u2019s Ontological Proof and his View upon the Principle of the Identity of Indiscernibles","author":"Lethen","year":"2024","journal-title":"History and Philosophy of Logic. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref17","article-title":"There are no minimal essentially undecidable theories","author":"Murwanashyaka","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref18","article-title":"A reunion of G\u00f6del, Tarski, Carnap and Rosser","author":"Salehi","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"journal-title":"On G\u00f6del\u2019s \u201cMuch Weaker\u201d Assumption","year":"2024","author":"Salehi","key":"2024091304301850200_ref19"},{"key":"2024091304301850200_ref20","article-title":"A new perspective on completeness and finitist consistency","author":"Santos","year":"2023","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"},{"key":"2024091304301850200_ref21","article-title":"Some applications of Baaz\u2019s generalization method to the study of the factors of Fermat numbers","author":"Sauras-Altuzarra","year":"2022","journal-title":"Journal of Logic and Computation. Special issue \u201cCelebrating 90 Years of G\u00f6del\u2019s Incompleteness Theorems\u201d"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/6\/1003\/59088555\/exae026.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/6\/1003\/59088555\/exae026.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T17:16:44Z","timestamp":1726247804000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/6\/1003\/7684243"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,28]]},"references-count":21,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2024,5,28]]},"published-print":{"date-parts":[[2024,9,6]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exae026","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2024,9]]},"published":{"date-parts":[[2024,5,28]]}}}