{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T13:10:19Z","timestamp":1779023419273,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540421979","type":"print"},{"value":"9783540453352","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45335-0_21","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T12:49:27Z","timestamp":1195044567000},"page":"357-368","source":"Crossref","is-referenced-by-count":8,"title":["On Computable Metric Spaces Tietze-Urysohn Extension Is Computable"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Weihrauch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0304-3975(98)00284-9","volume":"219","author":"V. Brattka","year":"1999","unstructured":"Vasco Brattka and Klaus Weihrauch. Computability on subsets of Euclidean space I: Closed and compact subsets. Theoretical Computer Science, 219:65\u201393, 1999.","journal-title":"Theoretical Computer Science"},{"key":"21_CR2","volume-title":"Foundations of Modern Analysis","author":"J. Dieudonn\u00e9","year":"1960","unstructured":"J. Dieudonn\u00e9. Foundations of Modern Analysis. Academic Press, New York, 1960."},{"key":"21_CR3","series-title":"Sigma series in pure mathematics","volume-title":"General Topology","author":"R. Engelking","year":"1989","unstructured":"Ryszard Engelking. General Topology, volume 6 of Sigma series in pure mathematics. Heldermann, Berlin, 1989."},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(85)90208-7","volume":"38","author":"C. Kreitz","year":"1985","unstructured":"Christoph Kreitz and Klaus Weihrauch. Theory of representations. Theoretical Computer Science, 38:35\u201353, 1985.","journal-title":"Theoretical Computer Science"},{"key":"21_CR5","series-title":"Discrete Mathematics and Theoretical Computer Science","first-page":"351","volume-title":"Combinatorics, Complexity, and Logic","author":"T. Mori","year":"1997","unstructured":"Takakazu Mori, Yoshiki Tsujii, and Mariko Yasugi. Computability structures on metric spaces. In Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, and Ian H. Witten, editors, Combinatorics, Complexity, and Logic, Discrete Mathematics and Theoretical Computer Science, pages 351\u2013362, Singapore, 1997. Springer. Proceedings of DMTCS\u201996."},{"key":"21_CR6","volume-title":"Perspectives in Mathematical Logic","author":"M. B. Pour-El","year":"1989","unstructured":"Marian B. Pour-El and J. Ian Richards. Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer, Berlin, 1989."},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0304-3975(93)90001-A","volume":"113","author":"K. Weihrauch","year":"1993","unstructured":"Klaus Weihrauch. Computability on computable metric spaces. Theoretical Computer Science, 113:191\u2013210, 1993. Fundamental Study.","journal-title":"Theoretical Computer Science"},{"key":"21_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Klaus Weihrauch. Computable Analysis. Springer, Berlin, 2000."},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(81)90027-X","volume":"16","author":"K. Weihrauch","year":"1981","unstructured":"Klaus Weihrauch and Ulrich Schreiber. Embedding metric spaces into cpo\u2019s. Theoretical Computer Science, 16:5\u201324, 1981.","journal-title":"Theoretical Computer Science"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/S0304-3975(98)00301-6","volume":"219","author":"M. Yasugi","year":"1999","unstructured":"Mariko Yasugi, Takakazu Mori, and Yoshiki Tsujii. Effective properties of sets and functions in metric spaces with computability structure. Theoretical Computer Science, 219:467\u2013486, 1999.","journal-title":"Theoretical Computer Science"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/malq.19960420132","volume":"42","author":"Q. Zhou","year":"1996","unstructured":"Qing Zhou. Computable real-valued functions on recursive open and closed subsets of Euclidean space. Mathematical Logic Quarterly, 42:379\u2013409, 1996.","journal-title":"Mathematical Logic Quarterly"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T08:13:32Z","timestamp":1551082412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45335-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421979","9783540453352"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45335-0_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}