{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:46:40Z","timestamp":1743068800624,"version":"3.40.3"},"publisher-location":"Cham","reference-count":5,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319200279"},{"type":"electronic","value":"9783319200286"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20028-6_22","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T10:07:37Z","timestamp":1434708457000},"page":"216-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Turing Jumps Through Provability"],"prefix":"10.1007","author":[{"given":"Joost J.","family":"Joosten","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.apal.2003.11.030","volume":"128","author":"LD Beklemishev","year":"2004","unstructured":"Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals, I. Ann. Pure Appl. Logic 128, 103\u2013124 (2004)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"22_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.2307\/2964178","volume":"22","author":"S Feferman","year":"1957","unstructured":"Feferman, S.: Degrees of unsolvability associated with classes of formalized theories. J. Symbolic Logic 22(2), 161\u2013175 (1957)","journal-title":"J. Symbolic Logic"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez-Duque, D., Joosten, J.J.: The omega-rule interpretation of transfinite provability logic (submitted). arXiv:1302.5393 [math.LO] (2013)","DOI":"10.2178\/jsl.7802110"},{"issue":"2","key":"22_CR4","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2964177","volume":"22","author":"RM Friedberg","year":"1957","unstructured":"Friedberg, R.M.: A criterion for completeness of degrees of unsolvability. J. Symbolic Logic 22(2), 159\u2013160 (1957)","journal-title":"J. Symbolic Logic"},{"issue":"1\u20133","key":"22_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.apal.2004.04.008","volume":"131","author":"A Visser","year":"2005","unstructured":"Visser, A.: Faith and falsity: a study of faithful interpretations and false $${\\Sigma }^0_1$$-sentences. Ann. Pure Appl. Logic 131(1\u20133), 103\u2013131 (2005)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Evolving Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20028-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:35:41Z","timestamp":1676943341000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20028-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319200279","9783319200286"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20028-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}