{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:26Z","timestamp":1725686666161},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642308697"},{"type":"electronic","value":"9783642308703"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30870-3_21","type":"book-chapter","created":{"date-parts":[[2012,5,28]],"date-time":"2012-05-28T02:56:12Z","timestamp":1338173772000},"page":"212-221","source":"Crossref","is-referenced-by-count":3,"title":["Turing Progressions and Their Well-Orders"],"prefix":"10.1007","author":[{"given":"David","family":"Fern\u00e1ndez Duque","sequence":"first","affiliation":[]},{"given":"Joost J.","family":"Joosten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.apal.2003.11.030","volume":"128","author":"L.D. Beklemishev","year":"2004","unstructured":"Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals, I. Annals of Pure and Applied Logic\u00a0128, 103\u2013124 (2004)","journal-title":"Annals of Pure and Applied Logic"},{"unstructured":"Beklemishev, L.D.: Veblen hierarchy in the context of provability algebras. In: Proceedings of the Twelfth International Congress on Logic, Methodology and Philosophy of Science. Kings College Publications (2005)","key":"21_CR2"},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1070\/RM2005v060n02ABEH000823","volume":"60","author":"L.D. Beklemishev","year":"2005","unstructured":"Beklemishev, L.D.: Reflection principles and provability algebras in formal arithmetic. Russian Mathematical Surveys\u00a060(2), 197\u2013268 (2005)","journal-title":"Russian Mathematical Surveys"},{"unstructured":"Beklemishev, L.D., Fern\u00e1ndez Duque, D., Joosten, J.J.: On transfinite provability logic (under preparation, 2012)","key":"21_CR4"},{"key":"21_CR5","first-page":"33","volume":"28","author":"R.M. Solovay","year":"1976","unstructured":"Solovay, R.M.: Provability interpretations of modal logic. Israel Journal of Mathematics\u00a028, 33\u201371 (1976)","journal-title":"Israel Journal of Mathematics"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"A.M. Turing","year":"1939","unstructured":"Turing, A.M.: Systems of logics based on ordinals. Proc. London Math. Soc. Series 2\u00a045, 161\u2013228 (1939)","journal-title":"Proc. London Math. Soc. Series 2"}],"container-title":["Lecture Notes in Computer Science","How the World Computes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30870-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:32:22Z","timestamp":1620127942000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30870-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642308697","9783642308703"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30870-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}