{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:29Z","timestamp":1761611189574,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_14","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T18:15:50Z","timestamp":1160417750000},"page":"188-203","source":"Crossref","is-referenced-by-count":13,"title":["Characteristic Properties of Majorant-Computability Over the Reals"],"prefix":"10.1007","author":[{"given":"M. V.","family":"Korovina","sequence":"first","affiliation":[]},{"given":"O. V.","family":"Kudinov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-11035-5","volume-title":"Admissible sets and structures","author":"J. Barwise","year":"1975","unstructured":"Barwise, J.: Admissible sets and structures. Springer, Berlin (1975)"},{"key":"14_CR2","volume-title":"G\u00e9ometrie alg\u00e9brique r\u00e9elle","author":"J. Bochnak","year":"1987","unstructured":"Bochnak, J., Coster, M., Roy, M.-F.: G\u00e9ometrie alg\u00e9brique r\u00e9elle. Springer, Heidelberg (1987)"},{"key":"14_CR3","unstructured":"Bitsadze, A.V.: The bases of analytic function theory of complex variables, Nauka, Moskow (1972)"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the reals: NP-completeness, recursive functions and universal machines. Bull. Amer. Math. Soc. (N.S.)\u00a021(1), 1\u201346 (1989)","journal-title":"Bull. Amer. Math. Soc., (N.S.)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"van den Dries, L.: Remarks on Tarski\u2019s problem concerning (IR,+, \u2217, exp). In: Proc. Logic Colloquium 1982, pp. 240\u2013266 (1984)","DOI":"10.1016\/S0049-237X(08)71811-1"},{"key":"14_CR6","unstructured":"Edalat, A., S\u00fcnderhauf, P.: A domain-theoretic approach to computability on the real line. Theoretical Computer Science (to appear)"},{"key":"14_CR7","volume-title":"Definability and computability","author":"Y.L. Ershov","year":"1996","unstructured":"Ershov, Y.L.: Definability and computability. Plenum, New York (1996)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/S0304-3975(82)80003-0","volume":"20","author":"H. Freedman","year":"1982","unstructured":"Freedman, H., Ko, K.: Computational complexity of real functions. Theoret. Comput. Sci.\u00a020, 323\u2013352 (1982)","journal-title":"Theoret. Comput. Sci."},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","volume":"44","author":"A. Grzegorczyk","year":"1957","unstructured":"Grzegorczyk, A.: On the definitions of computable real continuous functions. Fund. Math.\u00a044, 61\u201371 (1957)","journal-title":"Fund. Math."},{"key":"14_CR10","volume-title":"Basic Algebra","author":"N. Jacobson","year":"1995","unstructured":"Jacobson, N.: Basic Algebra, vol.\u00a0II. Freedman and Company, New York (1995)"},{"issue":"4","key":"14_CR11","first-page":"1","volume":"2","author":"M. Korovina","year":"1992","unstructured":"Korovina, M.: Generalized computability of real functions. Siberian Advance of Mathematics\u00a02(4), 1\u201318 (1992)","journal-title":"Siberian Advance of Mathematics"},{"key":"14_CR12","first-page":"3","volume":"156","author":"M. Korovina","year":"1996","unstructured":"Korovina, M.: About an universal recursive function and abstract machines on the list superstructure over the reals. Vychislitel\u2019nye Sistemy, Novosibirsk\u00a0156, 3\u201320 (1996)","journal-title":"Vychislitel\u2019nye Sistemy, Novosibirsk"},{"issue":"3","key":"14_CR13","first-page":"59","volume":"8","author":"M. Korovina","year":"1998","unstructured":"Korovina, M., Kudinov, O.: A New Approach to Computability over the Reals. SibAM\u00a08(3), 59\u201373 (1998)","journal-title":"SibAM"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Montague, R.: Recursion theory as a branch of model theory. In: Proc. of the third international congr. on Logic, Methodology and the Philos. of Sc., Amsterdam, pp. 63\u201386 (1968)","DOI":"10.1016\/S0049-237X(08)71187-X"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"427","DOI":"10.2307\/1994926","volume":"138","author":"Y.N. Moschovakis","year":"1969","unstructured":"Moschovakis, Y.N.: Abstract first order computability. Trans. Amer. Math. Soc.\u00a0138, 427\u2013464 (1969)","journal-title":"Trans. Amer. Math. Soc."},{"key":"14_CR16","volume-title":"Computability in Analysis and Physics","author":"M.B. Pour-El","year":"1988","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Heidelberg (1988)"},{"key":"14_CR17","series-title":"Studies in Logic and foundation of Mathematics","volume-title":"Nonstandard Analysis","author":"A. Robinson","year":"1966","unstructured":"Robinson, A.: Nonstandard Analysis. Studies in Logic and foundation of Mathematics. North-Holland, Amsterdam (1966)"},{"key":"14_CR18","unstructured":"Scott, D.: Outline of a mathematical theory of computation. In: 4th Annual Princeton Conference on Information Sciences and Systems, pp. 169\u2013176 (1970)"},{"key":"14_CR19","series-title":"Handbook of Logic in computer Science","first-page":"375","volume-title":"Effective algebras","author":"V. Stoltenberg-Hansen","year":"1995","unstructured":"Stoltenberg-Hansen, V., Tucker, J.V.: Effective algebras. Handbook of Logic in computer Science, vol.\u00a04, pp. 375\u2013526. Clarendon Press, Oxford (1995)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T09:38:55Z","timestamp":1736588335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/10703163_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}