{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T19:26:06Z","timestamp":1725823566783},"publisher-location":"Cham","reference-count":6,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319200279"},{"type":"electronic","value":"9783319200286"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20028-6_35","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T06:07:37Z","timestamp":1434694057000},"page":"343-352","source":"Crossref","is-referenced-by-count":0,"title":["Kalm\u00e1r and P\u00e9ter: Undecidability as a Consequence of Incompleteness"],"prefix":"10.1007","author":[{"given":"M\u00e1t\u00e9","family":"Szab\u00f3","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"35_CR1","first-page":"1085","volume":"228","author":"A Chauvin","year":"1949","unstructured":"Chauvin, A.: Structures logiques. CR Hebdomadaires S\u00e9ances Acad. Sci. 228, 1085\u20131087 (1949)","journal-title":"CR Hebdomadaires S\u00e9ances Acad. Sci."},{"issue":"3","key":"35_CR2","doi-asserted-by":"publisher","first-page":"230","DOI":"10.2307\/2266841","volume":"15","author":"L Henkin","year":"1950","unstructured":"Henkin, L.: Review of Kalm\u00e1r\u2019s [4] and [5]. J. Symbolic Logic 15(3), 230 (1950)","journal-title":"J. Symbolic Logic"},{"key":"35_CR3","first-page":"756","volume-title":"Proceedings of the Tenth International Congress of Philosophy (Amsterdam)","author":"L Kalm\u00e1r","year":"1949","unstructured":"Kalm\u00e1r, L.: On unsolvable mathematical problems. In: Beth, E.W., Pos, J., Hollak, J. (eds.) Proceedings of the Tenth International Congress of Philosophy (Amsterdam), pp. 756\u2013758. North-Holland, Amsterdam (1949)"},{"key":"35_CR4","first-page":"963","volume":"229","author":"L Kalm\u00e1r","year":"1949","unstructured":"Kalm\u00e1r, L.: Une forme du th\u00e9or\u00e8me de G\u00f6del sous des hypoth\u00e8ses minimales. CR Hebdomadaires S\u00e9ances Acad. Sci. 229, 963\u2013965 (1949)","journal-title":"CR Hebdomadaires S\u00e9ances Acad. Sci."},{"key":"35_CR5","first-page":"1047","volume":"229","author":"L Kalm\u00e1r","year":"1949","unstructured":"Kalm\u00e1r, L.: Quelques formes g\u00e9n\u00e9rales du th\u00e9or\u00e8me de G\u00f6del. CR Hebdomadaires S\u00e9ances Acad. Sci. 229, 1047\u20131049 (1949)","journal-title":"CR Hebdomadaires S\u00e9ances Acad. Sci."},{"key":"35_CR6","series-title":"Translated by Zoltan Dienes","volume-title":"Playing with Infinity","author":"R P\u00e9ter","year":"1976","unstructured":"P\u00e9ter, R.: Playing with Infinity. Translated by Zoltan Dienes. Dover, New York (1976)"}],"container-title":["Lecture Notes in Computer Science","Evolving Computability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20028-6_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T03:11:35Z","timestamp":1559185895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-20028-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319200279","9783319200286"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20028-6_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}