{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T23:39:36Z","timestamp":1772753976767,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642390524","type":"print"},{"value":"9783642390531","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_16","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T04:28:12Z","timestamp":1370233692000},"page":"135-146","source":"Crossref","is-referenced-by-count":1,"title":["On \u03bb-Definable Functions on Ordinals"],"prefix":"10.1007","author":[{"given":"Tim","family":"Fischbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Seyfferth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Fischbach, T.: The Church-Turing Thesis for Ordinal Computable Functions. Master\u2019s thesis, University of Bonn (October 2010)"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"377","DOI":"10.2178\/bsl\/1122038993","volume":"11","author":"P. Koepke","year":"2005","unstructured":"Koepke, P.: Turing computations on ordinals. The Bulletin of Symbolic Logic\u00a011, 377\u2013397 (2005)","journal-title":"The Bulletin of Symbolic Logic"},{"key":"16_CR3","unstructured":"Koepke, P., Siders, R.: Register computations on ordinals. Submitted to: Archive for Mathematical Logic, 14 pages (2006)"},{"key":"16_CR4","first-page":"143","volume-title":"Axiomatic Set Theory. Volume XIII (Part 1) of Proceedings of Symposia in Pure Mathematics","author":"R.B. Jensen","year":"1971","unstructured":"Jensen, R.B., Karp, C.: Primitive recursive set functions. In: Scott, D.S. (ed.) Axiomatic Set Theory. Volume XIII (Part 1) of Proceedings of Symposia in Pure Mathematics, pp. 143\u2013176. American Mathematical Society, Providence (1971)"},{"key":"16_CR5","unstructured":"Barendregt, H.P.: The lambda calculus. Its syntax and semantics. In: Studies in Logic and the Foundations of Mathematics. North\/Holland Publishing Company, Amsterdam (1981)"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1090\/S0002-9947-1936-1501858-0","volume":"39","author":"A. Church","year":"1936","unstructured":"Church, A., Rosser, J.B.: Some properties of conversion. Transactions of the American Mathematical Society\u00a039(3), 472\u2013482 (1936)","journal-title":"Transactions of the American Mathematical Society"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Devlin, K.J.: Aspects of constructibility. Lecture Notes in Mathematics. Springer, Heidelberg (1973)","DOI":"10.1007\/BFb0059290"},{"issue":"1","key":"16_CR8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.3233\/COM-2012-002","volume":"1","author":"P. Schlicht","year":"2012","unstructured":"Schlicht, P., Seyfferth, B.: Tree representations and ordinal machines. Computability\u00a01(1), 45\u201357 (2012)","journal-title":"Computability"}],"container-title":["Lecture Notes in Computer Science","The Nature of Computation. Logic, Algorithms, Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39053-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T14:28:05Z","timestamp":1675780085000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}