{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T18:02:24Z","timestamp":1784484144750,"version":"3.55.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032313478","type":"print"},{"value":"9783032313485","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-31348-5_34","type":"book-chapter","created":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:29Z","timestamp":1784482169000},"page":"514-527","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the\u00a0Computational Properties of\u00a0Ambivalent Sets and\u00a0Functions"],"prefix":"10.1007","author":[{"given":"Dag","family":"Normann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Sanders","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Avigad, J., Feferman, S.: G\u00f6del\u2019s functional (\u201cDialectica\u201d) interpretation, Handbook of proof theory. Stud. Logic Found. Math. 137, 337\u2013405 (1998)","DOI":"10.1016\/S0049-237X(98)80020-7"},{"issue":"1","key":"34_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02419243","volume":"3","author":"R Baire","year":"1899","unstructured":"Baire, R.: Sur les fonctions de variables r\u00e9elles. Annali di Matematica Pura ed Applicata (1898-1922) 3(1), 1\u2013123 (1899). https:\/\/doi.org\/10.1007\/BF02419243","journal-title":"Annali di Matematica Pura ed Applicata (1898-1922)"},{"key":"34_CR3","unstructured":"Baire, R.: Le\u00e7ons sur les fonctions discontinues, Les Grands Classiques GauthierVillars, \u00c9ditions Jacques Gabay, Sceaux, (French) (1995). Reprint of the 1905 original"},{"key":"34_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02402869","volume":"19","author":"P Cousin","year":"1895","unstructured":"Cousin, P.: Sur les fonctions de n variables complexes. Acta Math. 19, 1\u201361 (1895)","journal-title":"Acta Math."},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Darboux, G.: M\u00e9moire sur les fonctions discontinues. In: Annales scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure 2e s\u00e9rie, vol. 4, pp. 57\u2013112 (1875)","DOI":"10.24033\/asens.122"},{"key":"34_CR6","volume-title":"Topology","author":"J Dugundji","year":"1966","unstructured":"Dugundji, J.: Topology. Allyn and Bacon Inc., Boston (1966)"},{"issue":"9","key":"34_CR7","doi-asserted-by":"publisher","first-page":"3139","DOI":"10.1090\/S0002-9939-09-09904-3","volume":"137","author":"M Elekes","year":"2009","unstructured":"Elekes, M.: On a converse to Banach\u2019s fixed point theorem. Proc. Amer. Math. Soc. 137(9), 3139\u20133146 (2009)","journal-title":"Proc. Amer. Math. Soc."},{"key":"34_CR8","unstructured":"Hankel, H.: Untersuchungen \u00fcber die unendlich oft oscillirenden und unstetigen Functionen., L. F. Fues, Memoir presented at the University of T\u00fcbingen on 6 (1870)"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"Hankel, H.: Untersuchungen \u00fcber die unendlich oft oscillirenden und unstetigen Functionen., Math. Ann. 20 (1882)","DOI":"10.1007\/BF01443329"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik. II, Zweite Auflage. Die Grundlehren der mathematischen Wissenschaften, Band 50. Springer, Heidelberg (1970)","DOI":"10.1007\/978-3-642-86896-2"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Kleene, S.C.: Recursive functionals and quantifiers of finite types. I. Trans. Amer. Math. Soc. 91, 1\u201352 (1959)","DOI":"10.1090\/S0002-9947-1959-0102480-9"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Higher order reverse mathematics, Reverse mathematics. Lect. Notes Log., 21., 281\u2013295, ASL 2005 (2001)","DOI":"10.1017\/9781316755846.018"},{"key":"34_CR13","unstructured":"Kuratowski, K.: Topology, vol. I. Academic Press (1966)"},{"issue":"8","key":"34_CR14","doi-asserted-by":"publisher","first-page":"2273","DOI":"10.1090\/S0002-9939-00-05826-3","volume":"129","author":"P-Y Lee","year":"2001","unstructured":"Lee, P.-Y., Tang, W.-K., Zhao, D.: An equivalent definition of functions of the first Baire class. Proc. Amer. Math. Soc. 129(8), 2273\u20132275 (2001)","journal-title":"Proc. Amer. Math. Soc."},{"key":"34_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47992-6","volume-title":"Higher-order Computability, Theory and Applications of Computability","author":"J Longley","year":"2015","unstructured":"Longley, J., Normann, D.: Higher-order Computability, Theory and Applications of Computability. Springer, Heidelberg (2015)"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Myerson, G.I.: First-class functions. Amer. Math. Monthly 98(3), 237\u2013240 (1991)","DOI":"10.1080\/00029890.1991.11995733"},{"key":"34_CR17","doi-asserted-by":"crossref","unstructured":"Normann, D., Sanders, S.: Nonstandard analysis, computability theory, and their connections. J. Symb. Logic 84(4), 1422\u20131465 (2019)","DOI":"10.1017\/jsl.2019.69"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"Normann, D., Sanders, S.: Open sets in reverse mathematics and computability theory. J. Logic Comput. 30(8), 40 (2020)","DOI":"10.1093\/logcom\/exaa049"},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"Normann, D., Sanders, S.: Pincherle\u2019s theorem in reverse mathematics and computability theory. Ann. Pure Appl. Logic 171(5), 102788, 41 (2020)","DOI":"10.1016\/j.apal.2020.102788"},{"issue":"1","key":"34_CR20","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/exaa080","volume":"31","author":"D Normann","year":"2021","unstructured":"Normann, D., Sanders, S.: The axiom of choice in computability theory and reverse mathematics. J. Log. Comput. 31(1), 297\u2013325 (2021)","journal-title":"J. Log. Comput."},{"key":"34_CR21","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: On robust theorems due to Bolzano, Jordan, Weierstrass, and cantor in reverse mathematics. J. Symb. Logic 51 (2022). https:\/\/doi.org\/10.1017\/jsl.2022.71","DOI":"10.1017\/jsl.2022.71"},{"key":"34_CR22","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: On the uncountability of R. J. Symb. Logic 43 (2022). https:\/\/doi.org\/10.1017\/jsl.2022.27","DOI":"10.1017\/jsl.2022.27"},{"key":"34_CR23","unstructured":"Normann, D., Sanders, S.: Betwixt turing and kleene. In: LNCS, vol. 13137, proceedings of LFCS22, p. 18 (2022)"},{"key":"34_CR24","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: On the computational properties of basic mathematical notions. J. Logic Comput. 44 (2022). https:\/\/doi.org\/10.1093\/logcom\/exac075","DOI":"10.1093\/logcom\/exac075"},{"key":"34_CR25","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: The biggest five of reverse mathematics. J. Math. Logic 56 (2023). https:\/\/doi.org\/10.1142\/S0219061324500077","DOI":"10.1142\/S0219061324500077"},{"key":"34_CR26","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: On the computational properties of open sets. J. Log. Comput. 26 (2024). https:\/\/doi.org\/10.1093\/logcom\/exae048","DOI":"10.1093\/logcom\/exae048"},{"key":"34_CR27","doi-asserted-by":"publisher","unstructured":"Normann, D., Tait, W.: On the computability of the fan functional. In: J\u00e4ger, G., Sieg, W. (eds.) Feferman on Foundations. OCL, vol. 13, pp. 57\u201369. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63334-3_3","DOI":"10.1007\/978-3-319-63334-3_3"},{"key":"34_CR28","doi-asserted-by":"crossref","unstructured":"O\u2019Malley, R.J.: Approximately differentiable functions: the r topology. Pac. J. Math. 72(1), 207\u2013222 (1977)","DOI":"10.2140\/pjm.1977.72.207"},{"key":"34_CR29","unstructured":"Platek, R.A.: Foundations Of Recursion Theory, ProQuest LLC. Thesis (Ph.D.)\u2013Stanford University (1966)"},{"key":"34_CR30","doi-asserted-by":"crossref","unstructured":"Prus-Wi\u015bniowski, F.: Separation by ambivalent sets. Real Anal. Exchange 30(1), 289\u2013293 (2004\/05)","DOI":"10.14321\/realanalexch.30.1.0289"},{"key":"34_CR31","doi-asserted-by":"crossref","unstructured":"van Rooij, A.C.M., Schikhof, W.H.: A Second Course on Real Functions. Cambridge University Press, Cambridge (1982)","DOI":"10.1017\/CBO9780511569241"},{"key":"34_CR32","unstructured":"Sanders, S.: On the computational properties of the Baire category theorem. Computability (2022). arxiv: arxiv.org\/abs\/2210.05251"},{"key":"34_CR33","doi-asserted-by":"publisher","unstructured":"Sanders, S.: Big in reverse mathematics: the uncountability of the real numbers. J. Symb. Logic 26 (2023). https:\/\/doi.org\/10.1017\/jsl.2023.42","DOI":"10.1017\/jsl.2023.42"},{"key":"34_CR34","doi-asserted-by":"publisher","unstructured":"Sanders, S.: Big in reverse mathematics: measure and category. J. Symb. Logic 44 (2023). https:\/\/doi.org\/10.1017\/jsl.2023.65","DOI":"10.1017\/jsl.2023.65"},{"key":"34_CR35","doi-asserted-by":"crossref","unstructured":"Stephen, G.: Simpson, Subsystems of second order arithmetic. Perspectives in Logic, 2nd edn. CUP (2009)","DOI":"10.1017\/CBO9780511581007"},{"key":"34_CR36","first-page":"230","volume":"42","author":"A Turing","year":"1936","unstructured":"Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 42, 230\u2013265 (1936)","journal-title":"Proc. Lond. Math. Soc."},{"key":"34_CR37","unstructured":"de la Vall\u00e9e-Poussin, C.J.: Int\u00e9grales de Lebesgue. Gauthier-Villars (1916)"},{"key":"34_CR38","unstructured":"Volterra, V.: Alcune osservazioni sulle funzioni punteggiate discontinue. In: Giornale di matematiche XIX, pp. 76\u201386 (1881)"},{"issue":"2","key":"34_CR39","doi-asserted-by":"publisher","first-page":"866","DOI":"10.1016\/j.jmaa.2008.02.001","volume":"343","author":"Z Atok","year":"2008","unstructured":"Atok, Z., Tang, W.-K., Zhao, D.: Gauges of Baire class one functions. J. Math. Anal. Appl. 343(2), 866\u2013870 (2008)","journal-title":"J. Math. Anal. Appl."}],"container-title":["Lecture Notes in Computer Science","Timeless Machines: Computability Across Eras"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-31348-5_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:32Z","timestamp":1784482172000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31348-5_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,20]]},"ISBN":["9783032313478","9783032313485"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31348-5_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,20]]},"assertion":[{"value":"20 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"To the best of our knowledge, we have no competing interests to declare that\u00a0are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"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":"Trier","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}