{"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":1784484144029,"version":"3.55.0"},"publisher-location":"Cham","reference-count":43,"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_33","type":"book-chapter","created":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:41Z","timestamp":1784482181000},"page":"498-513","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the\u00a0Reverse Mathematics of\u00a0Darboux\u2019s Supremum Principle"],"prefix":"10.1007","author":[{"given":"Sam","family":"Sanders","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","unstructured":"Appell, J., Bana\u015b, J., Merentes, N.: Bounded Variation and Around, vol. 17. De Gruyter, Berlin (2014)","DOI":"10.1515\/9783110265118"},{"key":"33_CR2","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":"3","key":"33_CR3","first-page":"1","volume":"3","author":"R Baire","year":"1899","unstructured":"Baire, R.: Sur les fonctions de variables r\u00e9elles. Annali di Mat. 3(3), 1\u2013123 (1899)","journal-title":"Annali di Mat."},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"Bors\u00edk, J.: Limit of simply continuous function. Real Anal. Exchange 18(1), 270\u2013275 (1992\/93)","DOI":"10.2307\/44133069"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Bors\u00edk, J.: Sums of quasicontinuous functions defined on pseudometrizable spaces. Real Anal. Exchange 22(1), 328\u2013337 (1996\/97)","DOI":"10.2307\/44152754"},{"key":"33_CR6","unstructured":"Brown, D.K.: Functional analysis in weak subsystems of second-order arithmetic. Ph.D. thesis, The Pennsylvania State University, ProQuest LLC (1987)"},{"key":"33_CR7","doi-asserted-by":"crossref","unstructured":"Brown, D.K.: Notions of closed subsets of a complete separable metric space in weak subsystems of second-order arithmetic. Contemp. Math. 106, 39\u201350 (1990)","DOI":"10.1090\/conm\/106\/1057814"},{"key":"33_CR8","doi-asserted-by":"crossref","unstructured":"Darboux, G.: M\u00e9moire sur les fonctions discontinues. Annales scientifiques del\u2019\u00c9cole Normale Sup\u00e9rieure 2e s\u00e9rie 4, 57\u2013112 (1875)","DOI":"10.24033\/asens.122"},{"key":"33_CR9","unstructured":"Dedekind, R.: Gesammelte mathematische Werke. B\u00e4nde II. Chelsea Publishing Co., New York (1968)"},{"key":"33_CR10","doi-asserted-by":"crossref","unstructured":"Dzhafarov, D.D., Mummert, C.: Reverse Mathematics: Problems, Reductions, and Proofs. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-11367-3"},{"key":"33_CR11","unstructured":"Feferman, S.: How a Little Bit goes a Long Way: Predicative Foundations of Analysis (2013). Unpublished notes from 1977-1981 with updated introduction, https:\/\/math.stanford.edu\/~feferman\/papers\/pfa(1).pdf"},{"key":"33_CR12","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/s00029-020-00597-z","volume":"26","author":"D Fern\u00e1ndez-Duque","year":"2020","unstructured":"Fern\u00e1ndez-Duque, D., Shafer, P., Yokoyama, K.: Ekeland\u2019s variational principle in weak and strong systems of arithmetic. Selecta Math. 26, 68 (2020)","journal-title":"Selecta Math."},{"key":"33_CR13","unstructured":"Good, C., Stares, I.: New proofs of classical insertion theorems. Comment. Math. Univ. Carolin. 41(1) (2000)"},{"issue":"2","key":"33_CR14","doi-asserted-by":"publisher","first-page":"237","DOI":"10.4064\/cm114-2-6","volume":"114","author":"Z Grande","year":"2009","unstructured":"Grande, Z.: On the prolongation of restrictions of Baire 1 functions to functions which are quasicontinuous and approximately continuous. Colloq. Math. 114(2), 237\u2013243 (2009)","journal-title":"Colloq. Math."},{"key":"33_CR15","first-page":"91","volume":"126","author":"H Hahn","year":"1917","unstructured":"Hahn, H.: \u00dcber halbstetige und unstetige Funktionen. Sitzungsberichte Akad. Wiss. Wien Abt. IIa 126, 91\u2013110 (1917)","journal-title":"Sitzungsberichte Akad. Wiss. Wien Abt. IIa"},{"key":"33_CR16","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 March 1870"},{"key":"33_CR17","volume-title":"Grundz\u00fcge der Mengenlehre","author":"F Hausdorff","year":"1914","unstructured":"Hausdorff, F.: Grundz\u00fcge der Mengenlehre. Veit and Company, Leipzig (1914)"},{"key":"33_CR18","unstructured":"Herrlich, H.: Axiom of Choice. Lecture Notes in Mathematics, vol. 1876. Springer (2006)"},{"key":"33_CR19","doi-asserted-by":"crossref","unstructured":"Hilbert, D., Bernays, P.: Grundlagen der Mathematik. II. Zweite Auflage. Die Grundlehren der mathematischen Wissenschaften, Band 50. Springer (1970)","DOI":"10.1007\/978-3-642-86896-2"},{"key":"33_CR20","unstructured":"Hunter, J.: Higher-order reverse topology. ProQuest LLC, Ann Arbor, MI (2008). Thesis (Ph.D.)\u2013The University of Wisconsin - Madison"},{"key":"33_CR21","doi-asserted-by":"publisher","first-page":"85","DOI":"10.4064\/fm-38-1-85-91","volume":"38","author":"M Kat\u011btov","year":"1951","unstructured":"Kat\u011btov, M.: On real-valued functions in topological spaces. Fund. Math. 38, 85\u201391 (1951)","journal-title":"Fund. Math."},{"key":"33_CR22","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Higher order reverse mathematics. Reverse mathematics 2001, Lect. Notes Log., vol. 21, pp. 281\u2013295. ASL (2005)","DOI":"10.1017\/9781316755846.018"},{"key":"33_CR23","unstructured":"Lindel\u00f6f, E.: Sur Quelques Points De La Th\u00e9orie Des Ensembles. Comptes Rendus 697\u2013700 (1903)"},{"issue":"2","key":"33_CR24","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1515\/JAA.1999.171","volume":"5","author":"A Maliszewski","year":"1999","unstructured":"Maliszewski, A.: On the products of bounded Darboux Baire one functions. J. Appl. Anal. 5(2), 171\u2013185 (1999)","journal-title":"J. Appl. Anal."},{"key":"33_CR25","doi-asserted-by":"crossref","unstructured":"Moschovakis, Y.N.: Descriptive set theory, 2nd ed. Mathematical Surveys and Monographs, vol. 155. American Mathematical Society, Providence, RI (2009)","DOI":"10.1090\/surv\/155"},{"issue":"3","key":"33_CR26","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.hm.2008.01.001","volume":"35","author":"GH Moore","year":"2008","unstructured":"Moore, G.H.: The emergence of open sets, closed sets, and limit points in analysis and topology. Historia Math. 35(3), 220\u2013241 (2008)","journal-title":"Historia Math."},{"key":"33_CR27","unstructured":"Munkres, J.R.: Topology, 2nd edn. Prentice-Hall (2000)"},{"issue":"2","key":"33_CR28","doi-asserted-by":"publisher","first-page":"561","DOI":"10.2178\/jsl\/1305810764","volume":"76","author":"I Neeman","year":"2011","unstructured":"Neeman, I.: Necessary use of $$\\Sigma ^1_1$$ induction in a reversal. J. Symbolic Logic 76(2), 561\u2013574 (2011)","journal-title":"J. Symbolic Logic"},{"issue":"8","key":"33_CR29","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1093\/logcom\/exaa049","volume":"30","author":"D Normann","year":"2020","unstructured":"Normann, D., Sanders, S.: Open sets in reverse mathematics and computability theory. J. Logic Comput. 30(8), 40 (2020)","journal-title":"J. Logic Comput."},{"key":"33_CR30","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":"33_CR31","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: The Vitali covering theorem in reverse mathematics and computability theory. Ann. Pure Appl. Logic. https:\/\/doi.org\/10.1016\/j.apal.2024.103505","DOI":"10.1016\/j.apal.2024.103505"},{"key":"33_CR32","unstructured":"pastebee (MathOverflow user): The strength of representing open sets. MathOverflow. https:\/\/mathoverflow.net\/q\/504647. Accessed 04 Dec 2025"},{"key":"33_CR33","doi-asserted-by":"crossref","unstructured":"Richter, C.: Representing cliquish functions as quasiuniform limits of quasicontinuous functions. Real Anal. Exchange 27(1), 209\u2013221 (2001)","DOI":"10.2307\/44154118"},{"key":"33_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":"33_CR35","doi-asserted-by":"publisher","unstructured":"Sanders, S.: Sometimes tame, sometimes wild: weak continuity notions. Bull. London Math. Soc. 15 (2024). https:\/\/doi.org\/10.1112\/blms.70019","DOI":"10.1112\/blms.70019"},{"key":"33_CR36","doi-asserted-by":"publisher","unstructured":"Sanders, S.: A note on continuous functions on metric spaces. Bull. Symb. Logic 30, 398\u2013420 (2024). https:\/\/doi.org\/10.1017\/bsl.2024.30","DOI":"10.1017\/bsl.2024.30"},{"key":"33_CR37","doi-asserted-by":"publisher","unstructured":"Sanders, S.: Coding is hard. J. Symb. Logic 25 (2025). https:\/\/doi.org\/10.1017\/jsl.2025.10","DOI":"10.1017\/jsl.2025.10"},{"key":"33_CR38","unstructured":"Sanders, S.: Reverse Mathematics: there and back again. Monograph under review, p. 468 (2026)"},{"key":"33_CR39","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: Subsystems of second order arithmetic, 2nd edn. Perspectives in Logic, CUP (2009)","DOI":"10.1017\/CBO9780511581007"},{"key":"33_CR40","doi-asserted-by":"crossref","unstructured":"Simpson, S.G.: The G\u00f6del hierarchy and reverse mathematics. Kurt G\u00f6del. Essays for his centennial, pp. 109\u2013127 (2010)","DOI":"10.1017\/CBO9780511750762.008"},{"key":"33_CR41","doi-asserted-by":"crossref","unstructured":"Tao, T.: An introduction to measure theory. Graduate Studies in Mathematics, vol. 126. American Mathematical Society, Providence (2011)","DOI":"10.1090\/gsm\/126\/01"},{"key":"33_CR42","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1215\/S0012-7094-52-01928-5","volume":"19","author":"H Tong","year":"1952","unstructured":"Tong, H.: Some characterizations of normal and perfectly normal spaces. Duke Math. J. 19, 289\u2013292 (1952)","journal-title":"Duke Math. J."},{"key":"33_CR43","doi-asserted-by":"publisher","DOI":"10.1515\/9783112451144","volume-title":"Das Kontinuum","author":"H Weyl","year":"1918","unstructured":"Weyl, H.: Das Kontinuum. von Veit & Comp, Leipzig (1918)"}],"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_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:29:44Z","timestamp":1784482184000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31348-5_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,20]]},"ISBN":["9783032313478","9783032313485"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31348-5_33","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 my knowledge, I 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"}}]}}