{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:14:45Z","timestamp":1725495285629},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421979"},{"type":"electronic","value":"9783540453352"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45335-0_17","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T17:49:27Z","timestamp":1195062567000},"page":"296-309","source":"Crossref","is-referenced-by-count":2,"title":["Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions"],"prefix":"10.1007","author":[{"given":"Dimiter","family":"Skordev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"17_CR1","first-page":"1","volume":"50","author":"L. Kalm\u00e1r","year":"1943","unstructured":"Kalm\u00e1r, L. A simple example of an unsolvable arithmetical problem. Matematikai \u00e9s Fizikai Lapok 50 (1943) 1\u201323 (in Hungarian).","journal-title":"Matematikai \u00e9s Fizikai Lapok"},{"key":"17_CR2","first-page":"277","volume":"1","author":"A. Mostowski","year":"1953","unstructured":"Mostowski, A. A lemma concerning recursive functions and its applications. Bull. Acad. Polon. Sci. Cl. III 1 (1953) 277\u2013280.","journal-title":"Bull. Acad. Polon. Sci. Cl. III"},{"key":"17_CR3","volume-title":"The Theory of Functions and Sets of Natural Numbers","author":"P. Odifreddi","year":"1989","unstructured":"Odifreddi, P. Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers. North-Holland, Amsterdam\/New York\/Oxford\/Tokyo 1989."},{"key":"17_CR4","doi-asserted-by":"publisher","first-page":"784","DOI":"10.2307\/2031867","volume":"5","author":"H. G. Rice","year":"1954","unstructured":"Rice, H. G. Recursive real numbers. Proc. of the Amer. Math. Soc. 5 (1954) 784\u2013791.","journal-title":"Proc. of the Amer. Math. Soc."},{"key":"17_CR5","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers Jr","year":"1967","unstructured":"Rogers, H. Jr. Theory of Recursive Functions and Effective Computability.McGraw-Hill Book Company, New York\/St. Louis\/San Francisco\/Toronto\/London\/Sydney 1967."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Skolem, T. A theorem on recursively enumerable sets. In: Abstr. of Short Comm. Int. Congress Math., 1962, Stockholm, p. 11.","DOI":"10.1305\/ndjfl\/1093957149"},{"key":"17_CR7","unstructured":"Skordev, D. On a class of primitive recursive functions. Annuaire de l\u2019Univ. de Sofia, Fac. de Math. 60 (1965\/66) 105\u2013111 (in Russian)."},{"issue":"9","key":"17_CR8","first-page":"389","volume":"272","author":"D. Skordev","year":"2000","unstructured":"Skordev, D. A characterization of the computable real numbers by means of primitive recursive functions. In: Computability and Complexity in Analysis (ed. J. Blanck, V. Brattka, P. Hertling, K. Weihrauch), Informatik Berichte 272:9 (2000), Fernuniversit\u00e4t-Gesamthochschule in Hagen, pp. 389\u2013394.","journal-title":"Computability and Complexity in Analysis"},{"key":"17_CR9","volume-title":"Lectures on Computable Functions","author":"V.A. Uspensky","year":"1960","unstructured":"Uspensky, V.A. Lectures on Computable Functions. Fizmatgiz, Moscow 1960 (in Russian)."},{"key":"17_CR10","volume-title":"An Introduction","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K. Computable Analysis. An Introduction. Springer-Verlag, Berlin\/Heidelberg 2000."}],"container-title":["Lecture Notes in Computer Science","Computability and Complexity in Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45335-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,27]],"date-time":"2021-08-27T18:08:12Z","timestamp":1630087692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45335-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421979","9783540453352"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45335-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}