{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:29:12Z","timestamp":1760131752223},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540282310"},{"type":"electronic","value":"9783540318972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11538363_32","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T09:35:33Z","timestamp":1127813733000},"page":"462-476","source":"Crossref","is-referenced-by-count":4,"title":["Computing with Sequences, Weak Topologies and the Axiom of Choice"],"prefix":"10.1007","author":[{"given":"Vasco","family":"Brattka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Schr\u00f6der","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Brattka, V.: Computability on non-separable Banach spaces and Landau\u2019s theorem. In: Crosilla, L., Schuster, P. (eds.) From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Oxford University Press, Oxford (to appear)","DOI":"10.1093\/acprof:oso\/9780198566519.003.0021"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Ko, K.I.: Complexity Theory of Real Functions. Progress in Theoretical Computer Science. Birkh\u00e4user, Boston (1991)","DOI":"10.1007\/978-1-4684-6802-1"},{"key":"32_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics. Perspectives in Mathematical Logic","author":"M.B. Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer, Berlin (1989)"},{"key":"32_CR4","volume-title":"Topological Vector Spaces","author":"H.H. Sch\u00e4fer","year":"1966","unstructured":"Sch\u00e4fer, H.H.: Topological Vector Spaces. Macmillan, New York (1966)"},{"key":"32_CR5","volume-title":"Handbook of Analysis and Its Foundations","author":"E. Schechter","year":"1997","unstructured":"Schechter, E.: Handbook of Analysis and Its Foundations. Academic Press, San Diego (1997)"},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0304-3975(01)00109-8","volume":"284","author":"M. Schr\u00f6der","year":"2002","unstructured":"Schr\u00f6der, M.: Extended admissibility. Theoretical Computer Science\u00a0284, 519\u2013538 (2002)","journal-title":"Theoretical Computer Science"},{"key":"32_CR7","unstructured":"Schr\u00f6der, M.: Admissible Representations for Continuous Computations. PhD thesis, Fachbereich Informatik, FernUniversit\u00e4t Hagen (2002)"},{"key":"32_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"},{"key":"32_CR9","volume-title":"Funktionalanalysis","author":"D. Werner","year":"2002","unstructured":"Werner, D.: Funktionalanalysis, 4th edn. Springer, Berlin (2002)","edition":"4"},{"key":"32_CR10","volume-title":"General Topology","author":"S. Willard","year":"1970","unstructured":"Willard, S.: General Topology. Addison-Wesley, Reading (1970)"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11538363_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:54:16Z","timestamp":1619492056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11538363_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540282310","9783540318972"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11538363_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}