{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T06:42:42Z","timestamp":1750488162042},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_1","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T17:49:27Z","timestamp":1195062567000},"page":"1-15","source":"Crossref","is-referenced-by-count":2,"title":["Effectivity of Regular Spaces"],"prefix":"10.1007","author":[{"given":"Jens","family":"Blanck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0168-0072(96)00017-6","volume":"83","author":"J. Blanck","year":"1997","unstructured":"J. Blanck. Domain representability of metric spaces. Annals of Pure and Applied Logic, 83:225\u2013247, 1997.","journal-title":"Annals of Pure and Applied Logic"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0304-3975(99)00045-6","volume":"247","author":"J. Blanck","year":"2000","unstructured":"J. Blanck. Domain representations of topological spaces. Theoretical Computer Science, 247:229\u2013255, 2000.","journal-title":"Theoretical Computer Science"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1006\/inco.1996.0046","volume":"127","author":"P. Gianantonio di","year":"1996","unstructured":"P. di Gianantonio. Real number computability and domain theory. Information and Computation, 127:11\u201325, 1996.","journal-title":"Information and Computation"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0304-3975(95)00050-7","volume":"151","author":"A. Edalat","year":"1995","unstructured":"A. Edalat. Domain theory and integration. Theoretical Computer Science, 151:163\u2013193, 1995.","journal-title":"Theoretical Computer Science"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1006\/inco.1995.1096","volume":"120","author":"A. Edalat","year":"1995","unstructured":"A. Edalat. Dynamical systems, measures, and fractals via domain theory. Information and Computation, 120:32\u201348, 1995.","journal-title":"Information and Computation"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1006\/inco.1996.0014","volume":"124","author":"A. Edalat","year":"1996","unstructured":"A. Edalat. Power domains and iterated function systems. Information and Computation, 124:182\u2013197, 1996.","journal-title":"Information and Computation"},{"issue":"4","key":"1_CR7","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/421098","volume":"3","author":"A. Edalat","year":"1997","unstructured":"A. Edalat. Domains for computation in mathematics, physics and exact real arithmetic. Bulletin of Symbolic Logic, 3(4):401\u2013452, 1997.","journal-title":"Bulletin of Symbolic Logic"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0304-3975(96)00243-5","volume":"193","author":"A. Edalat","year":"1998","unstructured":"A. Edalat and R. Heckmann. A computational model for metric spaces. Theoretical Computer Science, 193:53\u201373, 1998.","journal-title":"Theoretical Computer Science"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Y. L. Ershov. Model c of partial continuous functionals. In R. O. Gandy and J. M. E. Hyland, editors, Logic Colloquium 76, volume 87 of Studies in Logic and Foundations in Mathematics, pages 455\u2013467. North-Holland, 1977.","DOI":"10.1016\/S0049-237X(09)70439-2"},{"issue":"2","key":"1_CR10","first-page":"97","volume":"22","author":"M. H. Escard\u00f3","year":"1997","unstructured":"M. H. Escard\u00f3. Injective spaces via the filter monad. Topology Proceedings, 22(2):97\u2013110, 1997.","journal-title":"Topology Proceedings"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(85)90208-7","volume":"38","author":"C. Kreitz","year":"1985","unstructured":"C. Kreitz and K. Weihrauch. Theory of representations. Theoretical Computer Science, 38:35\u201353, 1985.","journal-title":"Theoretical Computer Science"},{"key":"1_CR12","volume-title":"The continuous functionals of finite types over the reals","author":"D. Normann","year":"1998","unstructured":"D. Normann. The continuous functionals of finite types over the reals. Preprint, Department of Mathematics, University of Oslo, 1998."},{"key":"1_CR13","unstructured":"M. Schr\u00f6der. Effective metrization of regular spaces. In K.-I. Ko et al., editors, Computability and Complexity in Analysis, volume 235 of Informatik-Berichte, pages 63\u201380. FernUniversit\u00e4t Hagen, August 1998. CCA Workshop, Brno, Czech Republic, August, 1998."},{"issue":"1","key":"1_CR14","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1006\/inco.1995.1143","volume":"122","author":"D. Spreen","year":"1995","unstructured":"D. Spreen. On some decision problems in programming. Information and Computation, 122(1):120\u2013139, 1995. (Corrigendum: Inform. and Comp. 148, 241-244, 1999).","journal-title":"Information and Computation"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"185","DOI":"10.2307\/2586596","volume":"63","author":"D. Spreen","year":"1998","unstructured":"D. Spreen. On effective topological spaces. The Journal of Symbolic Logic, 63(1):185\u2013221, 1998.","journal-title":"The Journal of Symbolic Logic"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"V. Stoltenberg-Hansen, I. Lindstr\u00f6m, and E. R. Griffor. Mathematical Theory of Domains. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9781139166386"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"603","DOI":"10.2307\/2274527","volume":"53","author":"V. Stoltenberg-Hansen","year":"1988","unstructured":"V. Stoltenberg-Hansen and J. V. Tucker. Complete local rings as domains. Journal of Symbolic Logic, 53:603\u2013624, 1988.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"V. Stoltenberg-Hansen and J. V. Tucker. Effective algebra. In S. Abramsky et al., editors, Handbook of Logic in Computer Science, volume IV, pages 357\u2013526. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198537809.003.0004"},{"key":"1_CR19","unstructured":"G. A. Waagb\u03bb. Domains-with-totality semantics for Intuitionistic Type Theory. PhD thesis, University of Oslo, 1997."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"K. Weihrauch. An Introduction to Computable Analysis. Springer, 2000.","DOI":"10.1007\/978-3-642-56999-9"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(81)90027-X","volume":"16","author":"K. Weihrauch","year":"1981","unstructured":"K. Weihrauch and U. Schreiber. Embedding metric spaces into cpo\u2019s. Theoretical Computer Science, 16:5\u201324, 1981.","journal-title":"Theoretical Computer Science"}],"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_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T02:11:16Z","timestamp":1708308676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45335-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421979","9783540453352"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45335-0_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}