{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:20:34Z","timestamp":1743099634101,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031643088"},{"type":"electronic","value":"9783031643095"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64309-5_2","type":"book-chapter","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:01:49Z","timestamp":1719871309000},"page":"10-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Some Open Questions and\u00a0Recent Results on\u00a0Computable Banach Spaces"],"prefix":"10.1007","author":[{"given":"Rod","family":"Downey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Noam","family":"Greenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Long","family":"Qian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"key":"2_CR1","unstructured":"Ash, C., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. Studies in Logic and the Foundations of Mathematics, vol. 144. North-Holland Publishing Co., Amsterdam (2000)"},{"key":"2_CR2","unstructured":"Banach, S.: Th\u00e9orie des op\u00e9rations lin\u2019eaires. Z subwencji Funduszu kultury narodowej, Warszawa (1932)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Brattka, V., Dillhage, R.: On computable compact operators on computable Banach spaces with bases. Math. Logic Q. 53(4\u20135)):345\u2013364 (2007)","DOI":"10.1002\/malq.200710004"},{"key":"2_CR4","unstructured":"Bazhenov, N., Harrison-Trainor, M., Melnikov, A.: Computable stone spaces (2021)"},{"key":"2_CR5","unstructured":"Brown, T., McNicholl, T., Melnikov, A.: On the complexity of classifying Lebesgue spaces, submitted"},{"key":"2_CR6","unstructured":"Bosserhoff, V.: Computable functional analysis and probabilistic computability. Universit\u00e4t der Bundeswehr M\u00fcnchen, Thesis (2008)"},{"key":"2_CR7","unstructured":"Brattka, V.: Computability of Banach Space Principles. FernUniversit\u00e4t, Hagen (2016)"},{"issue":"3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1112\/blms\/5.3.261","volume":"5","author":"AM Davie","year":"1973","unstructured":"Davie, A.M.: The approximation problem for Banach spaces. Bull. Lond. Math. Soc. 5(3), 261\u2013266 (1973)","journal-title":"Bull. Lond. Math. Soc."},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-030-51466-2_9","volume-title":"Beyond the Horizon of Computability","author":"RG Downey","year":"2020","unstructured":"Downey, R.G., Melnikov, A.G.: Computable analysis and classification problems. In: Anselmo, M., Della Vedova, G., Manea, F., Pauly, A. (eds.) CiE 2020. LNCS, vol. 12098, pp. 100\u2013111. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51466-2_9"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1017\/bsl.2023.16","volume":"29","author":"R Downey","year":"2023","unstructured":"Downey, R., Melnikov, A.: Computably compact spaces. Bull. Symb. Logic 29, 170\u2013263 (2023)","journal-title":"Bull. Symb. Logic"},{"key":"2_CR11","unstructured":"Downey, R., Melnikov, A., Ng, K.M.: Computable Structure Theory: A Unified Approach. Springer, Cham, to appear"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF02392270","volume":"130","author":"P Enflo","year":"1973","unstructured":"Enflo, P.: A counterexample to the approximation problem in Banach spaces. Acta Math. 130, 309\u2013317 (1973)","journal-title":"Acta Math."},{"key":"2_CR13","unstructured":"Franklin, J., H\u00f6lzl, R., Day, A., Khoussainov, B., Melnikov, A., Ng, K.M.: Continuous functions and effective classification (2020)"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1112\/jlms\/jdn068","volume":"79","author":"V Ferenczi","year":"2009","unstructured":"Ferenczi, V., Louveau, A., Rosendal, C.: The complexity of classifying separable Banach spaces up to isomorphism. J. Lond. Math. Soc. 79(2), 323\u2013345 (2009)","journal-title":"J. Lond. Math. Soc."},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF01456326","volume":"69","author":"A Haar","year":"1910","unstructured":"Haar, A.: Zur theorie der orthogonalen funktionensysteme. Math. Ann. 69(3), 331\u2013371 (1910)","journal-title":"Math. Ann."},{"key":"2_CR16","volume-title":"Biorthogonal Systems in Banach Spaces","author":"P Hajek","year":"2008","unstructured":"Hajek, P., Santaluc\u00eda, V., Vanderwerff, J., Zizler, V.: Biorthogonal Systems in Banach Spaces. Springer, Cham (2008)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Johnson, W.B., Lindenstrauss, J.: Handbook of the Geometry of Banach Spaces, vol. 1. Elsevier (2001)","DOI":"10.1016\/S1874-5849(01)80003-6"},{"issue":"1","key":"2_CR18","first-page":"61","volume":"1","author":"M Kadets","year":"1966","unstructured":"Kadets, M.: Proof of the topological equivalence of all separable infinite dimensional Banach spaces. Funktsional\u2019nyi Analiz i Ego Prilozheniy 1(1), 61\u201370 (1966)","journal-title":"Funktsional\u2019nyi Analiz i Ego Prilozheniy"},{"key":"2_CR19","first-page":"241","volume":"41","author":"A Markushevich","year":"1943","unstructured":"Markushevich, A.: On a basis in the wide sense for linear spaces. Dokl. Akad. Nauk 41, 241\u2013244 (1943)","journal-title":"Dokl. Akad. Nauk"},{"key":"2_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0603-3","volume-title":"An Introduction to Banach Spaces","author":"R Megginson","year":"1998","unstructured":"Megginson, R.: An Introduction to Banach Spaces. Springer, Cham (1998)"},{"issue":"2","key":"2_CR21","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0003-4843(77)90015-8","volume":"11","author":"G Metakides","year":"1977","unstructured":"Metakides, G., Nerode, A.: Recursively enumerable vector spaces. Ann. Math. Logic 11(2), 147\u2013171 (1977)","journal-title":"Ann. Math. Logic"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-642-39053-1_37","volume-title":"The Nature of Computation. Logic, Algorithms, Applications","author":"AG Melnikov","year":"2013","unstructured":"Melnikov, A.G., Nies, A.: The classification problem for compact computable metric spaces. In: Bonizzoni, P., Brattka, V., L\u00f6we, B. (eds.) CiE 2013. LNCS, vol. 7921, pp. 320\u2013328. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39053-1_37"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Metakides, G., Nerode, A., Shore, R.: Recursive limits on the Hahn-Banach theorem. In: Errett Bishop: Reflections on Him and His Research, San Diego, California, Contemporary Mathematics, vol.\u00a039, pp. 85\u201391. American Mathematical Society, Providence (1985)","DOI":"10.1090\/conm\/039\/08"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-319-20028-6_29","volume-title":"Evolving Computability","author":"A Nies","year":"2015","unstructured":"Nies, A., Solecki, S.: Local compactness for computable polish metric spaces is $$\\varPi _1^1$$-complete. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 286\u2013290. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-20028-6_29"},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1090\/S0002-9947-1983-0682717-1","volume":"275","author":"M Pour-El","year":"1983","unstructured":"Pour-El, M., Richards, I.: Computability and noncomputability in classical analysis. Trans. Am. Math. Soc. 275(2), 539\u2013560 (1983)","journal-title":"Trans. Am. Math. Soc."},{"key":"2_CR26","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M Pour-El","year":"1989","unstructured":"Pour-El, M., Richards, I.: Computability in Analysis and Physics. Perspectives in Mathematical Logic, Springer, Berlin (1989)"},{"key":"2_CR27","unstructured":"Qian, L.: Computability-theoretic complexity of effective Banach spaces. Master\u2019s thesis, Victoria University of Wellington (2021)"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF01181164","volume":"28","author":"J Schauder","year":"1928","unstructured":"Schauder, J.: Eine eigenschaft des haarschen orthogonalsystems. Math. Z. 28, 317\u2013320 (1928)","journal-title":"Math. Z."},{"key":"2_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-51633-7","volume-title":"Bases in Banach Spaces, I","author":"I Singer","year":"1970","unstructured":"Singer, I.: Bases in Banach Spaces, I. Springer, Cham (1970)"},{"key":"2_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-67844-8","volume-title":"Bases in Banach Spaces, II","author":"I Singer","year":"1981","unstructured":"Singer, I.: Bases in Banach Spaces, II. Springer, Cham (1981)"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BF02393205","volume":"151","author":"SJ Szarek","year":"1983","unstructured":"Szarek, S.J.: The finite dimensional basis problem with an appendix on nets of Grassmann manifolds. Acta Math. 151, 153\u2013179 (1983)","journal-title":"Acta Math."},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF02392555","volume":"159","author":"SJ Szarek","year":"1987","unstructured":"Szarek, S.J.: A Banach space without a basis which has the bounded approximation property. Acta Math. 159, 81\u201398 (1987)","journal-title":"Acta Math."},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"207","DOI":"10.4064\/sm-111-3-207-222","volume":"111","author":"P Terenzi","year":"1994","unstructured":"Terenzi, P.: Every separable Banach space has a bounded strong norming biorthogonal sequence which is also a Steinitz basis. Studia Math. 111, 207\u2013222 (1994)","journal-title":"Studia Math."},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem (with correction. 43(1937) 544\u2013546. Proc. Lond. Math. Soc. 42, 230\u2013265 (1936)","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Weihrauch, K.: Computable Analysis. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2000). An introduction","DOI":"10.1007\/978-3-642-56999-9"},{"key":"2_CR36","unstructured":"Xie, R.: Computability and randomness. Ph.D. thesis, Victoria University of Wellington (2024)"}],"container-title":["Lecture Notes in Computer Science","Twenty Years of Theoretical and Practical Synergies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64309-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:02:01Z","timestamp":1719871321000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64309-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031643088","9783031643095"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64309-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"2 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}