{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T14:17:57Z","timestamp":1768659477676,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_5","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T17:49:27Z","timestamp":1195062567000},"page":"69-81","source":"Crossref","is-referenced-by-count":4,"title":["Banach-Mazur Computable Functions on Metric Spaces"],"prefix":"10.1007","author":[{"given":"Peter","family":"Hertling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"5_CR1","first-page":"223","volume":"16","author":"S. Banach","year":"1937","unstructured":"S. Banach and S. Mazur. Sur les fonctions calculables. Ann. Soc. Pol. de Math., 16:223, 1937.","journal-title":"Ann. Soc. Pol. de Math."},{"key":"5_CR2","first-page":"49","volume":"128","author":"G.S. Ce\u00eetin","year":"1959","unstructured":"G.S. Ce\u00eetin. Algorithmic operators in constructive complete separable metric spaces. Doklady Akad. Nauk, 128:49\u201352, 1959. (in Russian).","journal-title":"Doklady Akad. Nauk"},{"key":"5_CR3","first-page":"295","volume":"67","author":"G.S. Ce\u00eetin","year":"1962","unstructured":"G.S. Ce\u00eetin. Algorithmic operators in constructive metric spaces. Tr. Mat. Inst. Steklov, 67:295\u2013361, 1962. (in Russian, English trans. in AMS Trans. 64, 1967).","journal-title":"Tr. Mat. Inst. Steklov"},{"issue":"1","key":"5_CR4","first-page":"1","volume":"6","author":"R.M. Friedberg","year":"1958","unstructured":"R.M. Friedberg. 4-quantifier completeness: A Banach-Mazur functional not uniformly partial recursive. Bulletin de l\u2019Academie Polonaise des Sciences, S\u00e9rie des sci. math., astr. et phys., 6(1):1\u20135, 1958.","journal-title":"Bulletin de l\u2019Academie Polonaise des Sciences, S\u00e9rie des sci. math., astr. et phys."},{"key":"5_CR5","unstructured":"A. Grzegorczyk. Some approaches to constructive analysis. In A. Heyting, editor, Constructivity in mathematics, Studies in Logic and The Foundations of Mathematics, pages 43\u201361, Amsterdam, 1959. North-Holland. Colloquium at Amsterdam, 1957."},{"key":"5_CR6","unstructured":"G. Kreisel, D. Lacombe, and J.R. Shoenfield. Partial recursive functionals and effective operations. In A. Heyting, editor, Constructivity in Mathematics, Studies in Logic and The Foundations of Mathematics, pages 290\u2013297, Amsterdam, 1959. North-Holland. Proc. Colloq., Amsterdam, Aug. 26-31, 1957."},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"163","DOI":"10.2307\/2270370","volume":"29","author":"A.H. Lachlan","year":"1964","unstructured":"A.H. Lachlan. Effective operations in a general setting. The Journal of Symbolic Logic, 29:163\u2013178, 1964.","journal-title":"The Journal of Symbolic Logic"},{"key":"5_CR8","first-page":"226","volume":"9","author":"A.A. Markov","year":"1954","unstructured":"A.A. Markov. On the continuity of constructive functions (Russian). Uspekhi Mat. Nauk (N.S.), 9:226\u2013230, 1954.","journal-title":"Uspekhi Mat. Nauk (N.S.)"},{"key":"5_CR9","first-page":"315","volume":"52","author":"A.A. Markov","year":"1958","unstructured":"A.A. Markov. On constructive functions. Trudy Mat. Inst. Steklov., 52:315\u2013348, 1958. (in Russian, English trans. in AMS Trans. (2) 29, 1963).","journal-title":"Trudy Mat. Inst. Steklov."},{"key":"5_CR10","unstructured":"S. Mazur. Computable Analysis, volume 33. Rozprawy Matematyczne, Warsaw, 1963."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.4064\/fm-55-3-215-238","volume":"55","author":"Y.N. Moschovakis","year":"1964","unstructured":"Y.N. Moschovakis. Recursive metric spaces. Fundamenta Mathematicae, 55:215\u2013238, 1964.","journal-title":"Fundamenta Mathematicae"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1002\/malq.19600061510","volume":"6","author":"M.B. Pour-El","year":"1960","unstructured":"M.B. Pour-El. A comparison of five \u201ccomputable\u201d operators. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 6:325\u2013340, 1960.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"5_CR13","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H. Rogers","year":"1967","unstructured":"H. Rogers. Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York, 1967."}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:56:46Z","timestamp":1551099406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45335-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421979","9783540453352"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45335-0_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}