{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,14]],"date-time":"2024-09-14T09:03:23Z","timestamp":1726304603338},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,1,24]],"date-time":"2007-01-24T00:00:00Z","timestamp":1169596800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2007,1,24]],"date-time":"2007-01-24T00:00:00Z","timestamp":1169596800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Semesterber."],"published-print":{"date-parts":[[2007,3]]},"DOI":"10.1007\/s00591-006-0012-9","type":"journal-article","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T14:12:49Z","timestamp":1169561569000},"page":"1-12","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Die G\u00f6delschen Unvollst\u00e4ndigkeitss\u00e4tze"],"prefix":"10.1007","volume":"54","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,24]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Avigad, J., Feferman, S.: G\u00f6del\u2019s functional (\u201cdialectica\u201d) interpretation. In: Handbook of Proof Theory, S. Buss, ed., pp. 337\u2013405. North-Holland, Amsterdam 1998.","DOI":"10.1016\/S0049-237X(98)80020-7"},{"key":"12_CR2","unstructured":"A tribute to Kurt G\u00f6del. Notices of the American Mathematical Society 53(4), April 2006"},{"key":"12_CR3","unstructured":"Buldt, B. et al. (eds.): Wahrheit und Beweisbarkeit. Kurt G\u00f6del. Kompendium zum Werk, Band 2. \u00f6bv et hpt, Wien 2003"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and logic, 4th edn. Cambridge University Press, Cambridge 2002","DOI":"10.1017\/CBO9781139164931"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Boolos, G.: The logic of provability. Cambridge University Press, Cambridge 1993","DOI":"10.1017\/CBO9780511625183"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Carnap, R.: Logische Syntax der Sprache. Springer, Wien 1934","DOI":"10.1007\/978-3-662-25375-5"},{"key":"12_CR7","unstructured":"Davis, M. (ed.): The Undecidable. Raven Press, New York 1965"},{"key":"12_CR8","unstructured":"Dawson Jr., J.W.: The reception of G\u00f6del\u2019s incompleteness theorems. In: Philosophy of Science Association, vol. 2. 1984. Wiederabgedruckt in: Shanker, S.G. (ed.): G\u00f6del\u2019s Theorem in focus, S. 74\u201395. Routledge, London 1988. Zitiert nach diesem Abdruck."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Felscher, W.: Lectures on Mathematical Logic. Vol. III: The Logic of Arithmetic. Gordon and Breach, Amsterdam 2000","DOI":"10.1201\/9781482283006"},{"key":"12_CR10","unstructured":"Franz\u00e9n, T.: Inexhaustibility. Lecture Notes in Logic, vol. 16. ASL and AK Peters, Wellesley 2004"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Franz\u00e9n, T.: G\u00f6del\u2019s Theorem. AK Peters, Wellesley 2005","DOI":"10.1201\/9781568815008"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Fairtlough, M.V., Wainer, S.S.: Hierarchies of provably recursive functions. In: Handbook of Proof Theory, S. Buss (ed.), pp. 149\u2013207. North-Holland, Amsterdam 1998","DOI":"10.1016\/S0049-237X(98)80018-9"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G. Gentzen","year":"1936","unstructured":"Gentzen, G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann. 112, 493\u2013565 (1936)","journal-title":"Math. Ann."},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF01696781","volume":"37","author":"K. G\u00f6del","year":"1930","unstructured":"G\u00f6del, K.: Die Vollst\u00e4ndigkeit der Axiome des logischen Funktionenkalk\u00fcls. Monatsh. Math. Phys. 37, 349\u2013360 (1930)","journal-title":"Monatsh. Math. Phys."},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare S\u00e4tze der Principia mathematica und verwandter Systeme I. Monatsh. Math. Phys. 38, 173\u2013198 (1931)","journal-title":"Monatsh. Math. Phys."},{"key":"12_CR16","unstructured":"G\u00f6del, K.: On undecidable propositions of formal mathematical systems. 1934. Notes taken by Stephen C. Kleene and J. Barkley Rosser. Abgedruckt in [7, p. 39\u201374]."},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1111\/j.1746-8361.1958.tb01464.x","volume":"12","author":"K. G\u00f6del","year":"1958","unstructured":"G\u00f6del, K.: \u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes. Dialectica 12, 280\u2013287 (1958)","journal-title":"Dialectica"},{"key":"12_CR18","unstructured":"G\u00f6del, K.: Collected Works. 5 Volumes, S. Feferman et al. (eds.). Oxford University Press, Oxford 1986\u20132003"},{"key":"12_CR19","unstructured":"Hilbert, D., Ackermann, W.: Grundz\u00fcge der theoretischen Logik. Springer, Berlin 1928"},{"key":"12_CR20","unstructured":"Hilbert, H., Bernays, P.: Grundlagen der Mathematik I. In: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, vol 40. Springer, Berlin 1934, 2. Aufl. 1968"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik II. In: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, vol. 50. Springer, Berlin 1939, 2. Aufl. 1970","DOI":"10.1007\/978-3-642-86896-2"},{"key":"12_CR22","unstructured":"Hilbert, D.: Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongre\u00df zu Paris 1900. In: Nachrichten von der k\u00f6nigl. Gesellschaft der Wissenschaften zu G\u00f6ttingen. Mathematisch-physikalische Klasse aus dem Jahre 1900, pp. 253\u2013297. 1900"},{"key":"12_CR23","unstructured":"K\u00f6hler, E. et al. (Hrsg.): Wahrheit und Beweisbarkeit. Kurt G\u00f6del. Dokumente und historische Analysen, Band 1. \u00f6bv et hpt, Wien 2003"},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.apal.2003.10.012","volume":"126","author":"H. Kotlarski","year":"2004","unstructured":"Kotlarski, H.: The incompleteness theorems after 70 years. Ann. Pure Appl. Logic 126, 125\u2013138 (2004)","journal-title":"Ann. Pure Appl. Logic"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Paris, J., Harrington, L.: A mathematical incompleteness in Peano Arithmetic. In: Handbook of Mathematical Logic, J. Barwise (ed.), pp. 1133\u20131142. North-Holland, Amsterdam 1977","DOI":"10.1016\/S0049-237X(08)71130-3"},{"issue":"2","key":"12_CR26","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1006\/hmat.2002.2345","volume":"29","author":"V. Peckhaus","year":"2002","unstructured":"Peckhaus, V., Kahle, R.: Hilbert\u2019s Paradox. Hist. Math. 29(2), 157\u2013175 (2002)","journal-title":"Hist. Math."},{"issue":"2","key":"12_CR27","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/421108","volume":"2","author":"W. Pohlers","year":"1996","unstructured":"Pohlers, W.: Pure proof theory, aims, methods and results. Bull. Symb. Log., 2(2), 159\u2013188 (1996)","journal-title":"Bull. Symb. Log.,"},{"issue":"1","key":"12_CR28","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1305\/ndjfl\/1027953483","volume":"41","author":"H. Putnam","year":"2000","unstructured":"Putnam, H.: Nonstandard models and Kripke\u2019s proof of the G\u00f6del Theorem. Notre Dame J. Formal Logic 41(1), 53\u201358 (2000)","journal-title":"Notre Dame J. Formal Logic"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Rathjen, M.: The art of ordinal analysis. In: Proceedings of the International Congress of Mathematicians (ICM), Madrid, Spain, August 22\u201330, 2006, volume II: Invited lectures, M. Sanz-Sol\u00e9 et al. (eds.), pp. 45\u201369. European Mathematical Society, Z\u00fcrich 2006","DOI":"10.4171\/022-2\/3"},{"key":"12_CR30","doi-asserted-by":"publisher","first-page":"87","DOI":"10.2307\/2269028","volume":"1","author":"B. Rosser","year":"1936","unstructured":"Rosser, B.: Extensions of some theorems of G\u00f6del and Church. J. Symb. Log., 1, 87\u201391 (1936)","journal-title":"J. Symb. Log.,"},{"issue":"1","key":"12_CR31","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2178\/bsl\/1046288723","volume":"9","author":"G. Ser\u00e9ny","year":"2003","unstructured":"Ser\u00e9ny, G.: G\u00f6del, Tarski, Church, and the Liar. Bull. Symb. Log. 9(1), 3\u201325 (2003)","journal-title":"Bull. Symb. Log."},{"key":"12_CR32","unstructured":"Shanker, S.G. (ed.): G\u00f6del\u2019s Theorem in focus. Routlegde, London 1988"},{"key":"12_CR33","unstructured":"Shoenfield, J.: Mathematical Logic. Addison\u2013Wesley, Reading, Mass. 1967"},{"issue":"1","key":"12_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/421139","volume":"5","author":"W. Sieg","year":"1999","unstructured":"Sieg, W.: Hilbert\u2019s programs: 1917–1922. Bull. Symb. Log. 5(1), 1\u201344 (1999)","journal-title":"Bull. Symb. Log."},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Smorynski, C.: The incompleteness theorems. In: Handbook of Mathematical Logic, J. Barwise (ed.), pp. 821\u2013865. North-Holland, Amsterdam 1977","DOI":"10.1016\/S0049-237X(08)71123-6"},{"key":"12_CR36","unstructured":"Whitehead, A.N., Russell, B.: Principia Mathematica, 3 Bde., 1. Aufl. Cambridge University Press, Cambridge 1910\u201313"}],"container-title":["Mathematische Semesterberichte"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00591-006-0012-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00591-006-0012-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00591-006-0012-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00591-006-0012-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,15]],"date-time":"2022-05-15T05:29:54Z","timestamp":1652592594000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00591-006-0012-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,24]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,3]]}},"alternative-id":["12"],"URL":"https:\/\/doi.org\/10.1007\/s00591-006-0012-9","relation":{},"ISSN":["0720-728X","1432-1815"],"issn-type":[{"value":"0720-728X","type":"print"},{"value":"1432-1815","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,24]]},"assertion":[{"value":"28 April 2006","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 November 2006","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2007","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}