{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T06:21:27Z","timestamp":1784528487944,"version":"3.55.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031643088","type":"print"},{"value":"9783031643095","type":"electronic"}],"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_28","type":"book-chapter","created":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:01:49Z","timestamp":1719871309000},"page":"351-365","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Sequential Discontinuity and\u00a0First-Order Problems"],"prefix":"10.1007","author":[{"given":"Arno","family":"Pauly","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"Sold\u00e0","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,7,2]]},"reference":[{"key":"28_CR1","unstructured":"Brattka, V.: Recursive and computable operations over topological structures. Ph.D. thesis, FernUniversit\u00e4t Hagen (1999), informatik Berichte 255"},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"1191","DOI":"10.1017\/jsl.2021.106","volume":"88","author":"V Brattka","year":"2023","unstructured":"Brattka, V.: The discontinuity problem. J. Symbolic Logic 88(3), 1191\u20131212 (2023). https:\/\/doi.org\/10.1017\/jsl.2021.106","journal-title":"J. Symbolic Logic"},{"issue":"8","key":"28_CR3","doi-asserted-by":"publisher","first-page":"986","DOI":"10.1016\/j.apal.2011.12.020","volume":"163","author":"V Brattka","year":"2012","unstructured":"Brattka, V., de Brecht, M., Pauly, A.: Closed choice and a uniform low basis theorem. Ann. Pure Appl. Logic 163(8), 986\u20131008 (2012). https:\/\/doi.org\/10.1016\/j.apal.2011.12.020","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"28_CR4","doi-asserted-by":"publisher","first-page":"1614","DOI":"10.1017\/JSL.2020.76","volume":"85","author":"V Brattka","year":"2020","unstructured":"Brattka, V., Gherardi, G.: Weihrauch goes Brouwerian. J. Symbolic Logic 85(4), 1614\u20131653 (2020). https:\/\/doi.org\/10.1017\/JSL.2020.76","journal-title":"J. Symbolic Logic"},{"issue":"3","key":"28_CR5","doi-asserted-by":"publisher","first-page":"102914","DOI":"10.1016\/J.APAL.2020.102914","volume":"172","author":"V Brattka","year":"2021","unstructured":"Brattka, V., Gherardi, G.: Completion of choice. Ann. Pure Appl. Log. 172(3), 102914 (2021). https:\/\/doi.org\/10.1016\/J.APAL.2020.102914","journal-title":"Ann. Pure Appl. Log."},{"key":"28_CR6","series-title":"Theory and Applications of Computability","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-030-59234-9_11","volume-title":"Handbook of Computability and Complexity in Analysis","author":"V Brattka","year":"2021","unstructured":"Brattka, V., Gherardi, G., Pauly, A.: Weihrauch complexity in computable analysis. In: Handbook of Computability and Complexity in Analysis. TAC, pp. 367\u2013417. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-59234-9_11"},{"key":"28_CR7","doi-asserted-by":"publisher","unstructured":"Brattka, V., Hendtlass, M., Kreuzer, A.: On the uniform computational content of computability theory. Theory Comput. Syst. 61(4) (2017). https:\/\/doi.org\/10.1007\/s00224-017-9798-1","DOI":"10.1007\/s00224-017-9798-1"},{"key":"28_CR8","doi-asserted-by":"publisher","unstructured":"Brattka, V., Pauly, A.: On the algebraic structure of Weihrauch degrees. Logical Methods Comput. Sci. 14(4) (2018). https:\/\/doi.org\/10.23638\/LMCS-14(4:4)2018","DOI":"10.23638\/LMCS-14(4:4)2018"},{"key":"28_CR9","doi-asserted-by":"publisher","unstructured":"Brecht, M.d., Pauly, A., Schr\u00f6der, M.: Overt choice. Computability 9(3-4), 169\u2013191 (2020). https:\/\/doi.org\/10.3233\/com-190253","DOI":"10.3233\/com-190253"},{"key":"28_CR10","unstructured":"Cipriani, V., Pauly, A.: Embeddability of graphs and Weihrauch degrees (2023). https:\/\/arxiv.org\/abs\/2305.00935"},{"key":"28_CR11","unstructured":"Dzhafarov, D.: Joins in the strong Weihrauch degrees (2017). https:\/\/arxiv.org\/abs\/1704.01494"},{"key":"28_CR12","unstructured":"Dzhafarov, D.D., Solomon, R., Valenti, M.: The tree pigeonhole principle in the Weihrauch degrees (2023). https:\/\/arxiv.org\/abs\/2312.10535"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Dzhafarov, D.D., Solomon, R., Yokoyama, K.: On the first-order parts of problems in the Weihrauch degrees (2023). https:\/arXiv:2301.12733","DOI":"10.3233\/COM-230446"},{"key":"28_CR14","doi-asserted-by":"publisher","unstructured":"Goh, J.L., Pauly, A., Valenti, M.: Finding descending sequences through ill-founded linear orders. J. Symbolic Logic 86(2) (2021). https:\/\/doi.org\/10.1017\/jsl.2021.15","DOI":"10.1017\/jsl.2021.15"},{"key":"28_CR15","doi-asserted-by":"publisher","DOI":"10.1090\/memo\/1135","author":"V Gregoriades","year":"2016","unstructured":"Gregoriades, V.: Classes of Polish spaces under effective Borel isomorphism. Mem. Am. Math. Soc. (2016). https:\/\/doi.org\/10.1090\/memo\/1135","journal-title":"Mem. Am. Math. Soc."},{"key":"28_CR16","doi-asserted-by":"publisher","unstructured":"Higuchi, K., Pauly, A.: The degree-structure of Weihrauch-reducibility. Logical Methods Comput. Sci. 9(2) (2013). https:\/\/doi.org\/10.2168\/LMCS-9(2:2)2013","DOI":"10.2168\/LMCS-9(2:2)2013"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Hoyrup, M.: The fixed-point property for represented spaces. Ann. Pure Appl. Logic 173(5) (2022)","DOI":"10.1016\/j.apal.2022.103090"},{"key":"28_CR18","doi-asserted-by":"publisher","unstructured":"Nobrega, H., Pauly, A.: Game characterizations and lower cones in the Weihrauch degrees. Logical Methods Comput. Sci. 15(3), 11.1\u201311.29 (2019). https:\/\/doi.org\/10.23638\/LMCS-15(3:11)2019","DOI":"10.23638\/LMCS-15(3:11)2019"},{"issue":"2","key":"28_CR19","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3233\/COM-150049","volume":"5","author":"A Pauly","year":"2016","unstructured":"Pauly, A.: On the topological aspects of the theory of represented spaces. Computability 5(2), 159\u2013180 (2016). https:\/\/doi.org\/10.3233\/COM-150049","journal-title":"Computability"},{"key":"28_CR20","doi-asserted-by":"publisher","unstructured":"Pequignot, Y.: A Wadge hierarchy for second countable spaces. Archive Math. Logic, 1\u201325 (2015). https:\/\/doi.org\/10.1007\/s00153-015-0434-y","DOI":"10.1007\/s00153-015-0434-y"},{"key":"28_CR21","unstructured":"Schr\u00f6der, M.: Admissible Representations for Continuous Computations. Ph.D. thesis, FernUniversit\u00e4t Hagen (2002)"},{"issue":"2","key":"28_CR22","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. Theoret. Comput. Sci. 284(2), 519\u2013538 (2002). https:\/\/doi.org\/10.1016\/S0304-3975(01)00109-8","journal-title":"Theoret. Comput. Sci."},{"issue":"7","key":"28_CR23","doi-asserted-by":"publisher","first-page":"103270","DOI":"10.1016\/j.apal.2023.103270","volume":"174","author":"G Sold\u00e0","year":"2023","unstructured":"Sold\u00e0, G., Valenti, M.: Algebraic properties of the first-order part of a problem. Ann. Pure Appl. Log. 174(7), 103270 (2023). https:\/\/doi.org\/10.1016\/j.apal.2023.103270","journal-title":"Ann. Pure Appl. Log."},{"key":"28_CR24","unstructured":"Uftring, P.: Weihrauch degrees without roots. Computability (202X). https:\/\/arxiv.org\/abs\/2308.01422"},{"key":"28_CR25","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0069298","volume-title":"Cabal Seminar 76\u201377","author":"R Wesep","year":"1978","unstructured":"Wesep, R.: Wadge degrees and descriptive set theory. In: Kechris, A.S., Moschovakis, Y.N. (eds.) Cabal Seminar 76\u201377. LNM, vol. 689, pp. 151\u2013170. Springer, Heidelberg (1978). https:\/\/doi.org\/10.1007\/BFb0069298"}],"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_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T22:04:19Z","timestamp":1719871459000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64309-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031643088","9783031643095"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64309-5_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"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"}}]}}