{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:44Z","timestamp":1761611204239},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425540"},{"type":"electronic","value":"9783540448020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44802-0_12","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:15:38Z","timestamp":1180656938000},"page":"160-172","source":"Crossref","is-referenced-by-count":8,"title":["Semantic Characterisations of Second-Order Computability over the Real Numbers"],"prefix":"10.1007","author":[{"given":"M. V.","family":"Korovina","sequence":"first","affiliation":[]},{"given":"O. V.","family":"Kudinov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"12_CR1","unstructured":"S. Abramsky, A. Jung, Domain theory, Handbook of Logic in Computer Science, v. 3, Clarendon Press, 1994."},{"key":"12_CR2","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 space, Annals of Pure and Applied Logic, 83, 1997, pages 225\u2013247.","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J. Barwise","year":"1975","unstructured":"J. Barwise, Admissible sets and structures, Berlin, Springer-Verlag, 1975."},{"key":"12_CR4","volume-title":"Introduction to Analysis","author":"A. Brown","year":"1989","unstructured":"A. Brown, C. Pearcy, Introduction to Analysis, Springer-Verlag, Berlin, 1989."},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"L. Blum and M. Shub and S. Smale, On a theory of computation and complexity over the reals: NP-completeness, recursive functions and universal machines, Bull. Amer. Math. Soc., (N.S.), v. 21, no. 1, 1989, pages 1\u201346.","journal-title":"Bull. Amer. Math. Soc."},{"issue":"3","key":"12_CR6","first-page":"333","volume":"22","author":"C. E. Gordon","year":"1970","unstructured":"C. E. Gordon, Comparisons between some generalizations of recursion theory, Composition Mathematica, v. 22, N 3, 1970, pages 333\u2013346.","journal-title":"Composition Mathematica"},{"key":"12_CR7","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, 1995, pages 163\u2013193.","journal-title":"Theoretical Computer Science"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0304-3975(98)00097-8","volume":"210","author":"A. Edalat","year":"1998","unstructured":"A. Edalat, P. S\u00fcnderhauf, A domain-theoretic approach to computability on the real line, Theoretical Computer Science, 210, 1998, pages 73\u201398.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"12_CR9","first-page":"367","volume":"11","author":"Yu. L. Ershov","year":"1996","unstructured":"Yu. L. Ershov, Computable functionals of finite types, Algebra and Logic, 11(4), 1996 pages 367\u2013437.","journal-title":"Algebra and Logic"},{"key":"12_CR10","volume-title":"Definability and computability","author":"Yu. L. Ershov","year":"1996","unstructured":"Yu. L. Ershov, Definability and computability, Plenum, New York, 1996."},{"key":"12_CR11","volume-title":"PhD thesis","author":"M. H. Escard\u00f3","year":"1997","unstructured":"M. H. Escard\u00f3, PCF extended with real numbers: a domain-theoretic approach to hair-order exact real number computation, PhD thesis, Imperial College, University of London, London, 1997."},{"issue":"1\u20132","key":"12_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0166-8641(97)00226-5","volume":"89","author":"T. Erker","year":"1998","unstructured":"T. Erker, M. H. Escard\u00f3, K. Keimel, The way-below relation of function spaces over semantic domain, Topology and its Applications, 89(1\u20132), pages 61\u201374, 1998.","journal-title":"Topology and its Applications"},{"key":"12_CR13","unstructured":"M. H. Escard\u00f3, Function-space compactifications of function spaces, To appear in Topology and its Applications, 2000."},{"key":"12_CR14","first-page":"361","volume-title":"Logic colloquium","author":"H. Friedman","year":"1969","unstructured":"H. Friedman, Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory, Logic colloquium 1969, C.M.E., Hollang, Amsterdam, 1971, pages 361\u2013390."},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/S0304-3975(82)80003-0","volume":"20","author":"H. Friedman","year":"1982","unstructured":"H. Friedman and K. Ko, Computational complexity of real functions, Theoret. Comput. Sci., v. 20, 1982, pages 323\u2013352.","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium Of Continuous Lattices","author":"G. Gierz","year":"1980","unstructured":"G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M.W. Mislove, D.S. Scott, A Compendium Of Continuous Lattices, Springer Verlag, Berlin, 1980."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"A. Grzegorczyk, On the definitions of computable real continuous functions, Fund. Math., N 44, 1957, pages 61\u201371.","DOI":"10.4064\/fm-44-1-61-71"},{"key":"12_CR18","unstructured":"A. Jung, Cartesian Closed Categories of Domains, CWI Tract. Centrum voor Wiskunde en Informatica, Amsterdam v. 66, 1989."},{"issue":"4","key":"12_CR19","first-page":"1","volume":"2","author":"M. Korovina","year":"1992","unstructured":"M. Korovina, Generalized computability of real functions, Siberian Advance of Mathematics, v. 2, N 4, 1992, pages 1\u201318.","journal-title":"Siberian Advance of Mathematics"},{"issue":"3","key":"12_CR20","first-page":"59","volume":"8","author":"M. Korovina","year":"1998","unstructured":"M. Korovina, O. Kudinov, A New Approach to Computability over the Reals, SibAM, v. 8, N 3, 1998, pages 59\u201373.","journal-title":"SibAM"},{"key":"12_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/10703163_14","volume-title":"Proc. of CSL\u201998","author":"M. Korovina","year":"1999","unstructured":"M. Korovina, O. Kudinov, Characteristic Properties of Majorant-Computability over the Reals, Proc. of CSL\u201998, LNCS, 1584, 1999, pages 188\u2013204."},{"key":"12_CR22","unstructured":"M. Korovina, O. Kudinov, Computability via Approximations, Bulletin of Symbolic Logic, v. 5, N 1, 1999"},{"key":"12_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/3-540-46562-6_2","volume-title":"Proc. of PSI\u201999","author":"M. Korovina","year":"2000","unstructured":"M. Korovina, O. Kudinov, A Logical approach to Specifications of Hybrid Systems, Proc. of PSI\u201999, LNCS 1755, 2000, pages 10\u201316."},{"key":"12_CR24","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of CCA-2000","author":"M. Korovina","year":"2001","unstructured":"M. Korovina, O. Kudinov, Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory, Proceedings of CCA-2000, LNCS, to appear."},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"R. Montague, Recursion theory as a branch of model theory, Proc. of the third international congr. on Logic, Methodology and the Philos. of Sc., 1967, Amsterdam, 1968, pages 63\u201386.","DOI":"10.1016\/S0049-237X(08)71187-X"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"427","DOI":"10.2307\/1994926","volume":"138","author":"Y. N. Moschovakis","year":"1969","unstructured":"Y. N. Moschovakis, Abstract first order computability, Trans. Amer. Math. Soc., v. 138, 1969, pages 427\u2013464.","journal-title":"Trans. Amer. Math. Soc."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"Pietro Di Gianantonio, Real number computation and domain theory, Information and Computation, N 127, 1996, pages 11\u201325.","DOI":"10.1006\/inco.1996.0046"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"M. B. Pour-El, J. I. Richards, Computability in Analysis and Physics, Springer-Verlag, 1988.","DOI":"10.1007\/978-3-662-21717-7"},{"key":"12_CR29","unstructured":"D. Scott, Outline of a mathematical theory of computation, In 4th Annual Princeton Conference on Information Sciences and Systems, 1970, pages 169\u2013176."},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"D. Scott, Continuous lattices, Lecture Notes in Mathematics, 274, Toposes, Algebraic geometry and Logic, Springer-Verlag, 1972, pages 97\u2013136.","DOI":"10.1007\/BFb0073967"},{"key":"12_CR31","doi-asserted-by":"crossref","unstructured":"E. Schechter, Handbook of Analysis and Its Foundations, Academic Pressbook, 1996.","DOI":"10.1016\/B978-012622760-4\/50002-9"},{"key":"12_CR32","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, 1988, pages 603\u2013624.","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR33","first-page":"375","volume":"4","author":"V. Stoltenberg-Hansen","year":"1995","unstructured":"V. Stoltenberg-Hansen and J. V. Tucker, Effective algebras, Handbook of Logic in computer Science, v. 4, Clarendon Press, 1995, pages 375\u2013526.","journal-title":"Handbook of Logic in computer Science"},{"key":"12_CR34","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1215\/S0012-7094-52-01928-5","volume":"19","author":"H. Tong","year":"1952","unstructured":"H. Tong, Some characterizations of normal and perfectly normal space, Duke Math. J. N 19, 1952, pages 289\u2013292.","journal-title":"Duke Math. J. N"},{"key":"12_CR35","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"K. Weihrauch","year":"1987","unstructured":"K. Weihrauch, Computability, volume 9 of EATCS Monographs on Theoretical Computer Science, Springer, Berlin, 1987."},{"key":"12_CR36","volume-title":"Informatik Berichte 171","author":"K. Weihrauch","year":"1995","unstructured":"K. Weihrauch, A simple introduction to computable analysis, Informatik Berichte 171, FernUniversitat, Hagen, 1995, 2-nd edition.","edition":"2-nd edition"},{"key":"12_CR37","series-title":"Lect Notes Comput Sci","first-page":"165","volume-title":"Complexity Theory on Real Numbers and Functions","author":"C. Kreitz","year":"1983","unstructured":"C. Kreitz, K. Weihrauch, Complexity Theory on Real Numbers and Functions, LNCS, 145, 1983, pages 165\u2013175."},{"key":"12_CR38","series-title":"Lect Notes Comput Sci","first-page":"166","volume-title":"Lower Semi-Continuous and Upper Semi-Continuous real Functions","author":"K. Weihrauch","year":"1997","unstructured":"K. Weihrauch, X. Zheng Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous real Functions, LNCS, 1276, 1997, pages 166\u2013186."},{"key":"12_CR39","doi-asserted-by":"crossref","unstructured":"K. Weihrauch, Computable Analysis. An Introduction, Springer-Verlag, 2000.","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44802-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T23:47:38Z","timestamp":1683848858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44802-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425540","9783540448020"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-44802-0_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}