{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:40:29Z","timestamp":1737290429028,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664086"},{"type":"electronic","value":"9783540483403"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48340-3_3","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T17:04:52Z","timestamp":1184605492000},"page":"23-33","source":"Crossref","is-referenced-by-count":6,"title":["The Arithmetical Hierarchy of Real Numbers"],"prefix":"10.1007","author":[{"given":"Xizhong","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Weihrauch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"K. Ambos-Spies. A note on recursively approximatable real numbers, Forschungsberichte Mathematische Logik, Mathematisches Institut, Universit\u00e4t Heidelberg. Nr. 38, 1998."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-1-4613-0897-3_6","volume-title":"Mathematical Logic and Its Applications","author":"O. Demuth","year":"1987","unstructured":"O. Demuth and P. Filipec. Differentiation of constructive functions of a real variable and relative computability, in Mathematical Logic and Its Applications, D. G. Skordev ed., Plenum Press, New York and Londin, 1987, pp 81\u2013106."},{"key":"3_CR3","unstructured":"H. S. Gaskill and P. P. Narayanaswami Elementary of Real Analysis, Prentice-Hall, Upper Saddle River, 1997."},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","volume":"44","author":"A. Grzegorczyk","year":"1957","unstructured":"A. Grzegorczyk. On the definitions of computable real continuous functions, Fund. Math. 44(1957), 61\u201371.","journal-title":"Fund. Math."},{"key":"3_CR5","unstructured":"Chun-Kuen Ho. Relatively recursive real numbers and real functions, Technical Report of Department of Computer Science, University of Chicago 94-02. 1994."},{"key":"3_CR6","volume-title":"Hyperarithmetical real numbers and hyperarithmetical analysis","author":"L. Hudes","year":"1962","unstructured":"L. Hudes. Hyperarithmetical real numbers and hyperarithmetical analysis, Ph.D. Dissertation, Massachusetts Institute of Technology, Cambridge, Mass. 1962."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.2307\/1990131","volume":"53","author":"S. K. Kleene","year":"1943","unstructured":"S. K. Kleene. Recursive predicates and quantifiers, Trans. Amer. Math. Soc. 53(1943), 41\u201373.","journal-title":"Trans. Amer. Math. Soc."},{"key":"3_CR8","volume-title":"Computable Analysis","author":"S. Mazur","year":"1963","unstructured":"S. Mazur. Computable Analysis. PWN: Warsaw, 1963."},{"key":"3_CR9","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Classical Recursion Theory","author":"P. Odifreddi","year":"1989","unstructured":"P. Odifreddi. Classical Recursion Theory, vol. 129 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdan, 1989."},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M. Pour-El","year":"1989","unstructured":"M. Pour-El and J. Richards. Computability in Analysis and Physics. Springer-Verlag, Berlin, Heidelberg, 1989."},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"644","DOI":"10.2307\/1970028","volume":"69","author":"J. R. Shoenfiled","year":"1959","unstructured":"J. R. Shoenfiled. On degrees of unsolvability, Ann. Math. 69(1959) 644\u2013653.","journal-title":"Ann. Math."},{"key":"3_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees","author":"R. Soare","year":"1987","unstructured":"R. Soare. Recursively Enumerable Sets and Degrees, Springer-Verlag, Berlin, Heidelberg, 1987."},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"145","DOI":"10.2307\/2267043","volume":"14","author":"E. Specker","year":"1949","unstructured":"E. Specker. Nicht konstruktiv beweisbare S\u00e4tze der Analysis, J. of Symbolic Logic 14(1949), 145\u2013158.","journal-title":"J. of Symbolic Logic"},{"key":"3_CR14","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69965-8","volume-title":"Computability","author":"K. Weihrauch","year":"1987","unstructured":"K. Weihrauch. Computability. EATCS Monographs on Theoretical Computer Science Vol. 9, Springer-Verlag, Berlin, Heidelberg, 1987."},{"key":"3_CR15","unstructured":"K. Weihrauch. An Introduction to Computable Analysis. (In Preparation.)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"K. Weihrauch and X. Zheng. A finite hierarchy of recursively enumerable real numbers, MFCS\u201998, Brno, Czech Republic, August 24\u201328, 1998.","DOI":"10.1007\/BFb0055831"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48340-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:14:32Z","timestamp":1737288872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48340-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664086","9783540483403"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48340-3_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}