{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T12:35:05Z","timestamp":1772368505100,"version":"3.50.1"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,7,19]],"date-time":"2008-07-19T00:00:00Z","timestamp":1216425600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s00153-008-0093-3","type":"journal-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T10:37:06Z","timestamp":1216377426000},"page":"529-548","source":"Crossref","is-referenced-by-count":20,"title":["Register computations on ordinals"],"prefix":"10.1007","volume":"47","author":[{"given":"Peter","family":"Koepke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Siders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,7,19]]},"reference":[{"key":"93_CR1","unstructured":"Bissell-Siders, R.: Ordinal computers. Eprint at: arXiv:math.LO\/9804076 (1998)"},{"key":"93_CR2","doi-asserted-by":"crossref","unstructured":"Cutland, N.J.: Computability: An Introduction to Recursive Function Theory. Perspectives in Mathematical Logic. Cambridge University Press, London (1980)","DOI":"10.1017\/CBO9781139171496"},{"key":"93_CR3","volume-title":"Constructibility. Perspectives in Mathematical Logic","author":"K. Devlin","year":"1984","unstructured":"Devlin K.: Constructibility. Perspectives in Mathematical Logic. Springer, Berlin (1984)"},{"key":"93_CR4","doi-asserted-by":"crossref","unstructured":"G\u00f6del K.: The Consistency of the Continuum Hypothesis. In: Annals of Mathematical Studies, vol. 3. Princeton University Press, Princeton (1940)","DOI":"10.1515\/9781400881635"},{"issue":"2","key":"93_CR5","doi-asserted-by":"crossref","first-page":"567","DOI":"10.2307\/2586556","volume":"65","author":"J.D. Hamkins","year":"2000","unstructured":"Hamkins J.D., Lewis A.: Infinite time turing machines. J. Symb. Log. 65(2), 567\u2013604 (2000)","journal-title":"J. Symb. Log."},{"key":"93_CR6","unstructured":"Jech, T.: Set Theory, The Third Millennium Edition. In: Springer Monographs in Mathematics. Springer, Heidelberg (2003)"},{"issue":"3","key":"93_CR7","doi-asserted-by":"crossref","first-page":"377","DOI":"10.2178\/bsl\/1122038993","volume":"11","author":"P. Koepke","year":"2005","unstructured":"Koepke P.: Turing computations on ordinals. Bull. Symb. Log. 11(3), 377\u2013397 (2005)","journal-title":"Bull. Symb. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0093-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0093-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0093-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T03:13:47Z","timestamp":1588821227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0093-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,19]]},"references-count":7,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["93"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0093-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,19]]}}}