{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T06:09:30Z","timestamp":1774591770368,"version":"3.50.1"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030514655","type":"print"},{"value":"9783030514662","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-51466-2_9","type":"book-chapter","created":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T13:03:46Z","timestamp":1592917426000},"page":"100-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Computable Analysis and Classification Problems"],"prefix":"10.1007","author":[{"given":"Rodney G.","family":"Downey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander G.","family":"Melnikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,24]]},"reference":[{"key":"9_CR1","unstructured":"Ash, C., Knight, J.: Computable Structures and the Hyperarithmetical Hierarchy. Studies Logic and the Foundations of Mathematics, vol. 144. North-Holland Publishing Co., Amsterdam (2000)"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1093\/logcom\/exn027","volume":"19","author":"V Brattka","year":"2009","unstructured":"Brattka, V., Gherardi, G.: Borel complexity of topological operations on computable metric spaces. J. Logic Comput. 19(1), 45\u201376 (2009)","journal-title":"J. Logic Comput."},{"key":"9_CR3","unstructured":"Becher, V., Heiber, P.A., Slaman, T.A.: Normal numbers and the Borel hierarchy. Fund. Math. 226(1), 63\u201378 (2014)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1215\/S0012-7094-40-00648-2","volume":"6","author":"HF Bohnenblust","year":"1940","unstructured":"Bohnenblust, H.F.: An axiomatic characterization of $$L_p$$-spaces. Duke Math. J. 6, 627\u2013640 (1940)","journal-title":"Duke Math. J."},{"key":"9_CR5","doi-asserted-by":"publisher","unstructured":"Brattka, V., Hertling, P., Weihrauch, K.: A tutorial on computable analysis. In: Cooper, S.B., L\u00f6we, B., Sorbi, A. (eds.) New Computational Paradigms, pp. 425\u2013491. Springer, New York (2008). https:\/\/doi.org\/10.1007\/978-0-387-68546-5_18","DOI":"10.1007\/978-0-387-68546-5_18"},{"key":"9_CR6","unstructured":"Brown, T., McNicholl, T., Melnikov, A.: On the complexity of classifying lebesgue spaces. To appear"},{"key":"9_CR7","unstructured":"Brown, T.A.: Computable Structure Theory on Banach Spaces. ProQuest LLC, Ann Arbor, MI (2019). Thesis (Ph.D.)-Iowa State University"},{"key":"9_CR8","unstructured":"Brown, T., McNicholl, T.: Analytic computable structure theory and $$L^p$$ spaces- part 2 Archive for Mathematical Logic (to appear)"},{"key":"9_CR9","unstructured":"Becher, V., Slaman, T.A.: On the normality of numbers to different bases. J. Lond. Math. Soc. 90(2), 472\u2013494 (2014)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Cenzer, D., Remmel, J.B.: Index sets in computable analysis. Theoret. Comput. Sci. 219(1\u20132), 111\u2013150 (1999). Computability and complexity in analysis (Castle Dagstuhl, 1997)","DOI":"10.1016\/S0304-3975(98)00286-2"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Sankaranarayanan, S., Vardi, M.Y.: Regular real analysis. In: 2013 28th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 2013), pp. 509\u2013518. IEEE Computer Society, Los Alamitos (2013)","DOI":"10.1109\/LICS.2013.57"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"255","DOI":"10.4064\/fm448-5-2018","volume":"244","author":"J Clanin","year":"2019","unstructured":"Clanin, J., McNicholl, T.H., Stull, D.M.: Analytic computable structure theory and $$L^p$$ spaces. Fundamenta Mathematicae 244, 255\u2013285 (2019)","journal-title":"Fundamenta Mathematicae"},{"key":"9_CR13","unstructured":"Day, A., Downey, R.G., Westrick, L.B.: Three topological reducibilities for discontinuous functions. To appear"},{"issue":"6","key":"9_CR14","doi-asserted-by":"publisher","first-page":"2291","DOI":"10.1016\/j.jalgebra.2008.06.007","volume":"320","author":"R Downey","year":"2008","unstructured":"Downey, R., Montalb\u00e1n, A.: The isomorphism problem for torsion-free abelian groups is analytic complete. J. Algebra 320(6), 2291\u20132300 (2008)","journal-title":"J. Algebra"},{"issue":"81","key":"9_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.2307\/1970381","volume":"2","author":"EG Effros","year":"1965","unstructured":"Effros, E.G.: Transformation groups and $$C^{\\ast } $$-algebras. Ann. Math. 2(81), 38\u201355 (1965)","journal-title":"Ann. Math."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Ershov, Y., Goncharov, S.: Constructive Models. Siberian School of Algebra and Logic. Consultants Bureau, New York (2000)","DOI":"10.1007\/978-1-4615-4305-3"},{"key":"9_CR17","unstructured":"Franklin, J., Adam, R.H., Khoussainov, B., Melnikov, A., Ng, K.M.: Continuous functions and effective classification (2020)"},{"key":"9_CR18","unstructured":"Gorman, A., et al.: Continuous regular functions. Preprint (2019)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Goncharov, S., Knight, J.: Computable structure and antistructure theorems. Algebra Logika 41(6), 639\u2013681, 757 (2002)","DOI":"10.1023\/A:1021758312697"},{"issue":"2","key":"9_CR20","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1017\/jsl.2017.91","volume":"83","author":"N Greenberg","year":"2018","unstructured":"Greenberg, N., Melnikov, A.G., Knight, J.F., Turetsky, D.: Uniform procedures in uncountable structures. J. Symb. Log. 83(2), 529\u2013550 (2018)","journal-title":"J. Symb. Log."},{"key":"9_CR21","unstructured":"Gromov, M.: Metric structures for Riemannian and non-Riemannian spaces. Modern Birkh\u00e4user Classics. Birkh\u00e4user Boston Inc., Boston, MA, english edition (2007). Based on the 1981 French original, With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"523","DOI":"10.2307\/1968915","volume":"42","author":"S Kakutani","year":"1941","unstructured":"Kakutani, S.: Concrete representation of abstract $$L$$-spaces and the mean ergodic theorem. Ann. Math. 42, 523\u2013537 (1941)","journal-title":"Ann. Math."},{"issue":"2","key":"9_CR23","doi-asserted-by":"crossref","first-page":"163","DOI":"10.4064\/fm-144-2-163-179","volume":"144","author":"H Ki","year":"1994","unstructured":"Ki, H., Linton, T.: Normal numbers and subsets of $$\\mathbf{N}$$ with given densities. Fund. Math. 144(2), 163\u2013179 (1994)","journal-title":"Fund. Math."},{"issue":"4","key":"9_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.3233\/COM-160065","volume":"6","author":"TH McNicholl","year":"2017","unstructured":"McNicholl, T.H.: Computable copies of $$\\ell ^p$$. Computability 6(4), 391\u2013408 (2017)","journal-title":"Computability"},{"key":"9_CR25","unstructured":"McNicholl, T.H.: Computing the exponent of a Lebesgue space. To appear"},{"issue":"4","key":"9_CR26","doi-asserted-by":"publisher","first-page":"1055","DOI":"10.2178\/jsl.7804030","volume":"78","author":"AG Melnikov","year":"2013","unstructured":"Melnikov, A.G.: Computably isometric spaces. J. Symbolic Logic 78(4), 1055\u20131085 (2013)","journal-title":"J. Symbolic Logic"},{"issue":"12","key":"9_CR27","doi-asserted-by":"publisher","first-page":"8709","DOI":"10.1090\/tran\/7355","volume":"370","author":"A Melnikov","year":"2018","unstructured":"Melnikov, A.: Computable topological groups and Pontryagin duality. Trans. Amer. Math. Soc. 370(12), 8709\u20138737 (2018)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"2","key":"9_CR28","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1017\/jsl.2017.68","volume":"83","author":"A Melnikov","year":"2018","unstructured":"Melnikov, A., Montalb\u00e1n, A.: Computable Polish group actions. J. Symb. Log. 83(2), 443\u2013460 (2018)","journal-title":"J. Symb. Log."},{"key":"9_CR29","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":"9_CR30","unstructured":"Melnikov, A.G., Ng, K.M.: Computable structures and operations on the space of continuous functions. Fund. Math. 233(2), 101\u2013141 (2016)"},{"key":"9_CR31","unstructured":"Montalb\u00e1n, A.: Computability theoretic classifications for classes of structures. In: Proceedings of the International Congress of Mathematicians-Seoul 2014, vol. II, pp. 79\u2013101. Kyung Moon Sa, Seoul (2014)"},{"issue":"12","key":"9_CR32","doi-asserted-by":"publisher","first-page":"5427","DOI":"10.1090\/proc\/12669","volume":"143","author":"A Montalb\u00e1n","year":"2015","unstructured":"Montalb\u00e1n, A.: A robuster Scott rank. Proc. Am. Math. Soc. 143(12), 5427\u20135436 (2015)","journal-title":"Proc. Am. Math. Soc."},{"key":"9_CR33","doi-asserted-by":"crossref","unstructured":"Nies, A., Solecki, S.: Local compactness for computable polish metric spaces is $$\\pi _1^1$$ -complete. In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, 29 June\u20133 July 2015, pp. 286\u2013290 (2015)","DOI":"10.1007\/978-3-319-20028-6_29"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer, Berlin (1989)","DOI":"10.1007\/978-3-662-21717-7"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Sierpinski, W.: General topology. Mathematical Expositions, No. 7. University of Toronto Press, Toronto (1952). Translated by C. Cecilia Krieger","DOI":"10.3138\/9781487584894"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"Schnorr, C.-P., Stimm, H.: Endliche Automaten und Zufallsfolgen. Acta Informat. 1(4), 345\u2013359 (1971)","DOI":"10.1007\/BF00289514"},{"key":"9_CR37","doi-asserted-by":"publisher","unstructured":"Weihrauch, K.: Computable Analysis. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2000). https:\/\/doi.org\/10.1007\/978-3-642-56999-9","DOI":"10.1007\/978-3-642-56999-9"},{"issue":"1","key":"9_CR38","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1017\/jsl.2013.23","volume":"79","author":"LB Westrick","year":"2014","unstructured":"Westrick, L.B.: A lightface analysis of the differentiability rank. J. Symb. Log. 79(1), 240\u2013265 (2014)","journal-title":"J. Symb. Log."}],"container-title":["Lecture Notes in Computer Science","Beyond the Horizon of Computability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-51466-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T02:15:16Z","timestamp":1667096116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-51466-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030514655","9783030514662"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-51466-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"24 June 2020","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":"Fisciano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cie2020.wordpress.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the coronavirus pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}