{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T14:51:58Z","timestamp":1743000718980,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030374860"},{"type":"electronic","value":"9783030374877"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-37487-7_15","type":"book-chapter","created":{"date-parts":[[2019,12,13]],"date-time":"2019-12-13T04:22:10Z","timestamp":1576210930000},"page":"185-198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Computable Topology for Reliable Computations"],"prefix":"10.1007","author":[{"given":"Margarita","family":"Korovina","sequence":"first","affiliation":[]},{"given":"Oleg","family":"Kudinov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,12,16]]},"reference":[{"issue":"1\u20132","key":"15_CR1","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0304-3975(96)00243-5","volume":"193","author":"A Edalat","year":"1998","unstructured":"Edalat, A., Heckmann, R.: A computational model for metric spaces. Theoret. Comput. Sci. 193(1\u20132), 53\u201373 (1998)","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"15_CR2","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/421098","volume":"3","author":"A Edalat","year":"1997","unstructured":"Edalat, A.: Domains for computation in mathematics, physics and exact real arithmetic. Bull. Symb. Log. 3(4), 401\u2013452 (1997)","journal-title":"Bull. Symb. Log."},{"issue":"4","key":"15_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF02219096","volume":"11","author":"Yu. L. Ershov","year":"1972","unstructured":"Ershov, Yu.L.: Computable functionals of finite types. Algebra Log. 11(4), 367\u2013437 (1996)","journal-title":"Algebra and Logic"},{"issue":"1","key":"15_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1093\/comjnl\/bxs121","volume":"56","author":"J Blanck","year":"2013","unstructured":"Blanck, J.: Interval domains and computable sequences: a case study of domain reductions. Comput. J. 56(1), 45\u201352 (2013)","journal-title":"Comput. J."},{"issue":"3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0168-0072(96)00017-6","volume":"83","author":"J Blanck","year":"1997","unstructured":"Blanck, J.: Domain representability of metric spaces. Ann. Pure Appl. Log. 83(3), 225\u2013247 (1997)","journal-title":"Ann. Pure Appl. Log."},{"key":"15_CR6","unstructured":"Gierz, G., Heinrich Hofmann, K., Keime, lK., Lawson, J.D., Mislove, M.W.: Continuous Lattices and Domain. Encyclopedia of Mathematics and its Applications 93. Cambridge University Press, Cambridge (2003)"},{"issue":"6","key":"15_CR7","first-page":"1381","volume":"15","author":"T Grubba","year":"2009","unstructured":"Grubba, T., Weihrauch, K.: Elementary computable topology. J. UCS. 15(6), 1381\u20131422 (2009)","journal-title":"J. UCS."},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-319-94418-0_24","volume-title":"Sailing Routes in the World of Computation","author":"M Korovina","year":"2018","unstructured":"Korovina, M., Kudinov, O.: Weak reduction principle and computable metric spaces. In: Manea, F., Miller, R.G., Nowotka, D. (eds.) CiE 2018. LNCS, vol. 10936, pp. 234\u2013243. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-94418-0_24"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-74313-4_18","volume-title":"Perspectives of System Informatics","author":"M Korovina","year":"2018","unstructured":"Korovina, M., Kudinov, O.: Highlights of the Rice-Shapiro theorem in\u00a0computable topology. In: Petrenko, A.K., Voronkov, A. (eds.) PSI 2017. LNCS, vol. 10742, pp. 241\u2013255. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-74313-4_18"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-319-58741-7_7","volume-title":"Unveiling Dynamics and Complexity","author":"M Korovina","year":"2017","unstructured":"Korovina, M., Kudinov, O.: Outline of partial computability in computable topology. In: Kari, J., Manea, F., Petre, I. (eds.) CiE 2017. LNCS, vol. 10307, pp. 64\u201376. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-58741-7_7"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1093\/logcom\/exn033","volume":"19","author":"M Korovina","year":"2009","unstructured":"Korovina, M., Kudinov, O.: The uniformity principle for $$\\Sigma $$-definability. J. Log. Comput. 19(1), 159\u2013174 (2009)","journal-title":"J. Log. Comput."},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.entcs.2008.12.011","volume":"221","author":"M Korovina","year":"2008","unstructured":"Korovina, M., Kudinov, O.: Towards computability over effectively enumerable topological spaces. Electron. Notes Theoret. Comput. Sci. 221, 115\u2013125 (2008)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-45335-0_10","volume-title":"Computability and Complexity in Analysis","author":"MV Korovina","year":"2001","unstructured":"Korovina, M.V., Kudinov, O.V.: Formalisation of computability of operators and real-valued functionals via domain theory. In: Blanck, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, pp. 146\u2013168. Springer, Heidelberg (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-45335-0_10"},{"issue":"3","key":"15_CR14","first-page":"3","volume":"16","author":"A Mal\u2019Cev","year":"1961","unstructured":"Mal\u2019Cev, A.: Constructive algebras. Uspehi Math Nauk 16(3), 3\u201360 (1961)","journal-title":"Uspehi Math Nauk"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","volume":"55","author":"YN Moschovakis","year":"1964","unstructured":"Moschovakis, Y.N.: Recursive metric spaces. Fund. Math. 55, 215\u2013238 (1964)","journal-title":"Fund. Math."},{"key":"15_CR16","first-page":"341","volume":"95","author":"M Rabin","year":"1960","unstructured":"Rabin, M.: Computable algebra, general theory and theory of computable fields. Trans. Am. Math. Soc. 95, 341\u2013360 (1960)","journal-title":"Trans. Am. Math. Soc."},{"key":"15_CR17","series-title":"NATO Advanced Study Institutes Series (Series C \u2013 Mathematical and Physical Sciences)","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-94-009-7893-5_9","volume-title":"Theoretical Foundations of Programming Methodology","author":"D Scott","year":"1982","unstructured":"Scott, D.: Lectures on a mathematical theory of computation. In: Broy, M., Schmidt, G. (eds.) Theoretical Foundations of Programming Methodology. NATO Advanced Study Institutes Series (Series C \u2013 Mathematical and Physical Sciences), vol. 91, pp. 145\u2013292. Springer, Dordrecht (1982). \nhttps:\/\/doi.org\/10.1007\/978-94-009-7893-5_9"},{"key":"15_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02460-7","volume-title":"Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets","author":"RI Soare","year":"1987","unstructured":"Soare, R.I.: Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets. Springer, Heidelberg (1987)"},{"issue":"1","key":"15_CR19","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1006\/inco.1995.1143","volume":"122","author":"D Spreen","year":"1995","unstructured":"Spreen, D.: On some decision problems in programming. Inf. Comput. 122(1), 120\u2013139 (1995)","journal-title":"Inf. Comput."},{"issue":"1","key":"15_CR20","doi-asserted-by":"publisher","first-page":"185","DOI":"10.2307\/2586596","volume":"63","author":"D Spreen","year":"1998","unstructured":"Spreen, D.: On effective topological spaces. J. Symb. Log. 63(1), 185\u2013221 (1998)","journal-title":"J. Symb. Log."},{"key":"15_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/978-3-642-56999-9"},{"issue":"1","key":"15_CR22","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0304-3975(93)90001-A","volume":"113","author":"K Weihrauch","year":"1993","unstructured":"Weihrauch, K.: Computability on computable metric spaces. Theoret. Comput. Sci. 113(1), 191\u2013210 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"15_CR23","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(81)90027-X","volume":"16","author":"K Weihrauch","year":"1981","unstructured":"Weihrauch, K., Schreiber, U.: Embedding metric spaces into CPO\u2019s. Theoret. Comput. Sci. 16, 5\u201324 (1981)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-37487-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,15]],"date-time":"2019-12-15T19:03:50Z","timestamp":1576436630000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-37487-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030374860","9783030374877"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-37487-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"16 December 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PSI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Andrei Ershov Memorial Conference on Perspectives of System Informatics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Novosibirsk","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ershov2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/psi.nsc.ru\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}