{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T01:00:30Z","timestamp":1775523630139,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642390524","type":"print"},{"value":"9783642390531","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_37","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T04:28:12Z","timestamp":1370233692000},"page":"320-328","source":"Crossref","is-referenced-by-count":17,"title":["The Classification Problem for Compact Computable Metric Spaces"],"prefix":"10.1007","author":[{"given":"Alexander G.","family":"Melnikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Nies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"37_CR1","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0168-0072(86)90048-5","volume":"32","author":"C.J. Ash","year":"1986","unstructured":"Ash, C.J.: Stability of recursive structures in arithmetical degrees. Ann. Pure Appl. Logic\u00a032(2), 113\u2013135 (1986)","journal-title":"Ann. Pure Appl. Logic"},{"key":"37_CR2","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Computable structures and the hyperarithmetical hierarchy","author":"C.J. Ash","year":"2000","unstructured":"Ash, C.J., Knight, J.: Computable structures and the hyperarithmetical hierarchy. Studies in Logic and the Foundations of Mathematics, vol.\u00a0144. North-Holland Publishing Co., Amsterdam (2000)"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-0-387-68546-5_18","volume-title":"New Computational Paradigms","author":"V. Brattka","year":"2008","unstructured":"Brattka, V., Hertling, P., Weihrauch, K.: A tutorial on computable analysis. In: New Computational Paradigms, pp. 425\u2013491. Springer, New York (2008)"},{"issue":"2","key":"37_CR4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.2178\/bsl\/1146620059","volume":"12","author":"W. Calvert","year":"2006","unstructured":"Calvert, W., Knight, J.F.: Classification from a computable viewpoint. Bull. Symbolic Logic\u00a012(2), 191\u2013218 (2006)","journal-title":"Bull. Symbolic Logic"},{"issue":"1","key":"37_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1143468308","volume":"47","author":"B.F. Csima","year":"2006","unstructured":"Csima, B.F., Montalb\u00e1n, A., Shore, R.A.: Boolean algebras, Tarski invariants, and index sets. Notre Dame J. Formal Logic\u00a047(1), 1\u201323 (2006)","journal-title":"Notre Dame J. Formal Logic"},{"key":"37_CR6","volume-title":"Siberian School of Algebra and Logic","author":"Y.L. Ershov","year":"2000","unstructured":"Ershov, Y.L., Goncharov, S.S.: Constructive models. In: Siberian School of Algebra and Logic. Consultants Bureau, New York (2000)"},{"key":"37_CR7","series-title":"Pure and Applied Mathematics (Boca Raton)","volume-title":"Invariant descriptive set theory","author":"S. Gao","year":"2009","unstructured":"Gao, S.: Invariant descriptive set theory. Pure and Applied Mathematics (Boca Raton), vol.\u00a0293. CRC Press, Boca Raton (2009)"},{"issue":"6","key":"37_CR8","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1023\/A:1021758312697","volume":"41","author":"S.S. Goncharov","year":"2002","unstructured":"Goncharov, S.S.: Dzh. Na\u012dt. Computable structure and antistructure theorems. Algebra Logika\u00a041(6), 639\u2013681, 757 (2002)","journal-title":"Algebra Logika"},{"issue":"2","key":"37_CR9","doi-asserted-by":"crossref","first-page":"18","DOI":"10.2168\/LMCS-3(2:2)2007","volume":"3","author":"B. Khoussainov","year":"2007","unstructured":"Khoussainov, B., Nies, A., Rubin, S., Stephan, F.: Automatic structures: richness and limitations. Log. Methods Comput. Sci.\u00a03(2), 2:2, 18 (2007)","journal-title":"Log. Methods Comput. Sci."},{"key":"37_CR10","unstructured":"Melnikov, A.: Computably isometric spaces (preprint)"},{"key":"37_CR11","volume-title":"Perspectives in Mathematical Logic","author":"M.B. Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in analysis and physics. In: Perspectives in Mathematical Logic, Springer, Berlin (1989)"},{"key":"37_CR12","first-page":"230","volume":"42","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society\u00a042, 230\u2013265 (1936)","journal-title":"Proceedings of the London Mathematical Society"},{"key":"37_CR13","first-page":"544","volume":"43","author":"A.M. Turing","year":"1937","unstructured":"Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. A correction. Proceedings of the London Mathematical Society\u00a043, 544\u2013546 (1937)","journal-title":"Proceedings of the London Mathematical Society"},{"issue":"3","key":"37_CR14","doi-asserted-by":"publisher","first-page":"269","DOI":"10.4064\/fm195-3-4","volume":"195","author":"M. Vanden Boom","year":"2007","unstructured":"Vanden Boom, M.: The effective Borel hierarchy. Fund. Math.\u00a0195(3), 269\u2013289 (2007)","journal-title":"Fund. Math."},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"Weihrauch, K.: Computable analysis. In: An introduction Texts in Theoretical Computer Science. An EATCS Series, Springer, Berlin (2000)","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Lecture Notes in Computer Science","The Nature of Computation. Logic, Algorithms, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39053-1_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T16:32:42Z","timestamp":1557765162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}