{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T09:01:51Z","timestamp":1780390911098,"version":"3.54.1"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T00:00:00Z","timestamp":1763164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T00:00:00Z","timestamp":1763164800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007316","name":"Klaus Tschira Stiftung","doi-asserted-by":"publisher","award":["Projekt KT43"],"award-info":[{"award-number":["Projekt KT43"]}],"id":[{"id":"10.13039\/501100007316","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,2]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Many theorems of mathematics have the form that for a certain\n                    <jats:italic>problem<\/jats:italic>\n                    , e.g. a differential equation or polynomial (in)equality, there exists a\n                    <jats:italic>solution<\/jats:italic>\n                    . The\n                    <jats:italic>sequential<\/jats:italic>\n                    version then states that for a\n                    <jats:italic>sequence<\/jats:italic>\n                    of problems, there is a\n                    <jats:italic>sequence<\/jats:italic>\n                    of solutions. The original and sequential theorem can often be proved via the same (or similar) proof and often have the same (or similar) logical properties, esp. if everything is formulated in the language of second-order arithmetic. In this paper, we identify basic theorems of third-order arithmetic, e.g. concerning semi-continuous functions, such that the sequential versions have very different logical properties. In particular, depending on the constructive status of the original theorem, very different and independent choice principles are needed. Despite these differences, the associated Reverse Mathematics, working in Kohlenbach\u2019s higher-order framework, is rather elegant and is still based at the core on\n                    <jats:italic>weak K\u00f6nig\u2019s lemma<\/jats:italic>\n                    .\n                  <\/jats:p>","DOI":"10.1007\/s00153-025-00991-4","type":"journal-article","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T07:28:48Z","timestamp":1763191728000},"page":"275-295","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On sequential theorems in Reverse Mathematics"],"prefix":"10.1007","volume":"65","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":[[2025,11,15]]},"reference":[{"key":"991_CR1","unstructured":"Baire, R.: Le\u00e7ons sur les fonctions discontinues, Les Grands Classiques Gauthier-Villars, \u00c9ditions Jacques Gabay, Sceaux, (French). Reprint of the 1905 original (1995)"},{"key":"991_CR2","doi-asserted-by":"crossref","unstructured":"Bartle, R.G.: A modern theory of integration, Graduate Studies in Mathematics, vol. 32, American Mathematical Society (2001)","DOI":"10.1090\/gsm\/032"},{"issue":"4","key":"991_CR3","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1002\/malq.200410038","volume":"51","author":"J Berger","year":"2005","unstructured":"Berger, J., Ishihara, H.: Brouwer\u2019s fan theorem and unique existence in constructive analysis. MLQ Math. Log. Q. 51(4), 360\u2013364 (2005)","journal-title":"MLQ Math. Log. Q."},{"key":"991_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565663","volume-title":"Varieties of constructive mathematics, London Mathematical Society Lecture Note Series","author":"D Bridges","year":"1987","unstructured":"Bridges, D., Richman, F.: Varieties of constructive mathematics, London Mathematical Society Lecture Note Series, vol. 97. Cambridge University Press, Cambridge (1987)"},{"key":"991_CR5","unstructured":"Brown, D. K.: Functional analysis in weak subsystems of second-order arithmetic. PhD Thesis, The Pennsylvania State University, ProQuest LLC (1987)"},{"key":"991_CR6","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":"991_CR7","first-page":"14","volume":"4","author":"FG Dorais","year":"2012","unstructured":"Dorais, F.G., Hirst, J.L., Shafer, P.: Reverse mathematics, trichotomy and dichotomy. J. Log. Anal. 4, 14 (2012). (Paper No. 13)","journal-title":"J. Log. Anal."},{"issue":"1","key":"991_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1215\/00294527-2377860","volume":"55","author":"FG Dorais","year":"2014","unstructured":"Dorais, F.G.: Classical consequences of continuous choice principles from intuitionistic analysis. Notre Dame J. Form. Log. 55(1), 25\u201339 (2014)","journal-title":"Notre Dame J. Form. Log."},{"issue":"2","key":"991_CR9","doi-asserted-by":"publisher","first-page":"1321","DOI":"10.1090\/tran\/6465","volume":"368","author":"FG Dorais","year":"2016","unstructured":"Dorais, F.G., Dzhafarov, D.D., Hirst, J.L., Mileti, J.R., Shafer, P.: On uniform relationships between combinatorial problems. Trans. Amer. Math. Soc. 368(2), 1321\u20131359 (2016)","journal-title":"Trans. Amer. Math. Soc."},{"key":"991_CR10","doi-asserted-by":"crossref","unstructured":"Damir, D.: Dzhafarov and Carl Mummert. Problems, Reductions, and Proofs, Springer Cham, Reverse Mathematics (2022)","DOI":"10.1007\/978-3-031-11367-3"},{"issue":"5","key":"991_CR11","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 Mathematics 26(5), 68 (2020)","journal-title":"Selecta Mathematics"},{"issue":"2248","key":"991_CR12","doi-asserted-by":"publisher","first-page":"20220012","DOI":"10.1098\/rsta.2022.0012","volume":"381","author":"D Fern\u00e1ndez-Duque","year":"2023","unstructured":"Fern\u00e1ndez-Duque, D., Shafer, P., Towsner, H., Yokoyama, K.: Metric fixed point theory and partial impredicativity. Philos. Trans. Roy. Soc. A 381(2248), 20220012 (2023)","journal-title":"Philos. Trans. Roy. Soc. A"},{"key":"991_CR13","unstructured":"Fra\u00efss\u00e9, R.: Theory of relations, Studies in Logic and the Foundations of Mathematics, vol. 145, North-Holland. With an appendix by Norbert Sauer (2000)"},{"key":"991_CR14","doi-asserted-by":"crossref","unstructured":"Fujiwara, M., Yokoyama, K.: A note on the sequential version of $$\\Pi ^1_2$$ statements. Lecture Notes in Comput. Sci., vol. 7921, Springer, Heidelberg, 171\u2013180 (2013)","DOI":"10.1007\/978-3-642-39053-1_20"},{"issue":"3","key":"991_CR15","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1002\/malq.201300021","volume":"60","author":"M Fujiwara","year":"2014","unstructured":"Fujiwara, M., Higuchi, K., Kihara, T.: On the strength of marriage theorems and uniformity. MLQ Math. Log. Q. 60(3), 136\u2013153 (2014)","journal-title":"MLQ Math. Log. Q."},{"key":"991_CR16","unstructured":"Hahn, H.:\u00dcber halbstetige und unstetige Funktionen. Sitzungsberichte Akad. Wiss. Wien Abt. IIa 126, 91\u2013110 (1917)"},{"issue":"4","key":"991_CR17","doi-asserted-by":"publisher","first-page":"303","DOI":"10.4064\/ba55-4-2","volume":"55","author":"JL Hirst","year":"2007","unstructured":"Hirst, J.L.: Representations of reals in reverse mathematics. Bull. Pol. Acad. Sci. Math. 55(4), 303\u2013316 (2007)","journal-title":"Bull. Pol. Acad. Sci. Math."},{"issue":"2","key":"991_CR18","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1215\/00294527-1306163","volume":"52","author":"JL Hirst","year":"2011","unstructured":"Hirst, J.L., Mummert, C.: Reverse mathematics and uniformity in proofs without excluded middle. Notre Dame J. Form. Log. 52(2), 149\u2013162 (2011)","journal-title":"Notre Dame J. Form. Log."},{"key":"991_CR19","unstructured":"Hunter, J.: Higher-order reverse topology, ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.).The University of Wisconsin - Madison (2008)"},{"key":"991_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.4000\/philosophiascientiae.406","volume":"6","author":"H Ishihara","year":"2006","unstructured":"Ishihara, H.: Reverse mathematics in Bishop\u2019s constructive mathematics. Philosophia Scientiae(Cahier Sp\u00e9cial) 6, 43\u201359 (2006)","journal-title":"Philosophia Scientiae(Cahier Sp\u00e9cial)"},{"key":"991_CR21","unstructured":"Jullien, P.: Contribution \u00e0 l\u2019\u00e9tude des types d\u2019ordres dispers\u00e9s. PhD thesis, University of Marseilles (1969)"},{"key":"991_CR22","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":"991_CR23","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: On uniform weak K\u00f6nig\u2019s lemma. Ann. Pure Appl. Logic 114(1\u20133), 103\u2013116 (2002). (Commemorative Symposium Dedicated to Anne S. Troelstra (Noordwijkerhout, 1999))","DOI":"10.1016\/S0168-0072(01)00077-X"},{"key":"991_CR24","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U.: Higher order reverse mathematics. Reverse mathematics 2001, Lect. Notes Log., 21, ASL, 281\u2013295 (2005)","DOI":"10.1017\/9781316755846.018"},{"issue":"3\u20134","key":"991_CR25","doi-asserted-by":"publisher","first-page":"377","DOI":"10.3233\/COM-180097","volume":"8","author":"U Kohlenbach","year":"2019","unstructured":"Kohlenbach, U.: On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness. Computability 8(3\u20134), 377\u2013387 (2019)","journal-title":"Computability"},{"key":"991_CR26","unstructured":"Lindel\u00f6f, E.: Sur Quelques Points De La Th\u00e9orie Des Ensembles. Comptes Rendus 697\u2013700 (1903)"},{"key":"991_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47992-6","volume-title":"Higher-order Computability","author":"J Longley","year":"2015","unstructured":"Longley, J., Normann, D.: Higher-order Computability. Springer, Theory and Applications of Computability (2015)"},{"issue":"1","key":"991_CR28","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s11590-012-0587-0","volume":"8","author":"JE Mart\u00ednez-Legaz","year":"2014","unstructured":"Mart\u00ednez-Legaz, J.E.: On Weierstrass extreme value theorem. Optim. Lett. 8(1), 391\u2013393 (2014)","journal-title":"Optim. Lett."},{"issue":"1","key":"991_CR29","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1142\/S0219061306000517","volume":"6","author":"A Montalb\u00e1n","year":"2006","unstructured":"Montalb\u00e1n, A.: Indecomposable linear orderings and hyperarithmetic analysis. J. Math. Log. 6(1), 89\u2013120 (2006)","journal-title":"J. Math. Log."},{"issue":"2","key":"991_CR30","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"},{"key":"991_CR31","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061319500016","author":"D Normann","year":"2019","unstructured":"Normann, D., Sanders, S.: On the mathematical and foundational significance of the uncountable. J. Math. Log. (2019). https:\/\/doi.org\/10.1142\/S0219061319500016","journal-title":"J. Math. Log."},{"issue":"8","key":"991_CR32","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. Journal of Logic and Computation 30(8), 40 (2020)","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"991_CR33","doi-asserted-by":"publisher","first-page":"102788","DOI":"10.1016\/j.apal.2020.102788","volume":"171","author":"D Normann","year":"2020","unstructured":"Normann, D., Sanders, S.: Pincherle\u2019s theorem in reverse mathematics and computability theory. Ann. Pure Appl. Logic 171(5), 102788\u201341 (2020)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"991_CR34","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":"991_CR35","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: On robust theorems due to Bolzano, Jordan, Weierstrass, and Cantor in Reverse Mathematics. Journal of Symbolic Logic 51 (2022). https:\/\/doi.org\/10.1017\/jsl.2022.71","DOI":"10.1017\/jsl.2022.71"},{"key":"991_CR36","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: On the uncountability of R. Journal of Symbolic Logic 43 (2022). https:\/\/doi.org\/10.1017\/jsl.2022.27","DOI":"10.1017\/jsl.2022.27"},{"key":"991_CR37","doi-asserted-by":"publisher","unstructured":"Normann, D., Sanders, S.: The Biggest Five of Reverse Mathematics. Journal for Mathematical Logic 56 (2023). https:\/\/doi.org\/10.1142\/S0219061324500077","DOI":"10.1142\/S0219061324500077"},{"key":"991_CR38","doi-asserted-by":"crossref","unstructured":"Normann, D., Sanders, S.: On the computational properties of open sets. J. Logic Comput. 26 (2024). https:\/\/mathscinet.ams.org\/mathscinet\/article?mr=4899605","DOI":"10.1093\/logcom\/exae048"},{"key":"991_CR39","unstructured":"Rosenstein, J. G.: Linear orderings, Pure and Applied Mathematics, vol. 98, Academic Press (1982)"},{"issue":"1\u20132","key":"991_CR40","first-page":"289","volume":"184","author":"O Johannes","year":"2020","unstructured":"Johannes, O.: Royset, Approximations of semicontinuous functions with applications to stochastic optimization and statistical estimation. Math. Program. 184(1\u20132), 289\u2013318 (2020)","journal-title":"Math. Program."},{"issue":"1","key":"991_CR41","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00153-011-0256-5","volume":"51","author":"S Sanders","year":"2012","unstructured":"Sanders, S., Yokoyama, K.: The Dirac delta function in two settings of Reverse Mathematics. Arch. Math. Logic 51(1), 99\u2013121 (2012)","journal-title":"Arch. Math. Logic"},{"issue":"1","key":"991_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1215\/00294527-2022-0001","volume":"63","author":"S Sanders","year":"2022","unstructured":"Sanders, S.: Representations and the foundations of mathematics. Notre Dame J. Form. Log. 63(1), 1\u201328 (2022)","journal-title":"Notre Dame J. Form. Log."},{"key":"991_CR43","volume-title":"Some contributions to higher-order Reverse Mathematics","author":"S Sanders","year":"2022","unstructured":"Sanders, S.: Some contributions to higher-order Reverse Mathematics. Habilitationsschrift, TU Darmstadt (2022)"},{"key":"991_CR44","doi-asserted-by":"publisher","unstructured":"Sanders, S.: Big in Reverse Mathematics: the uncountability of the real numbers, Journal of Symbolic Logic 26 (2023). https:\/\/doi.org\/10.1017\/jsl.2023.42","DOI":"10.1017\/jsl.2023.42"},{"key":"991_CR45","doi-asserted-by":"publisher","unstructured":"Sanders, S.: Big in Reverse Mathematics: measure and category, Journal of Symbolic Logic 44 (2023). https:\/\/doi.org\/10.1017\/jsl.2023.65","DOI":"10.1017\/jsl.2023.65"},{"issue":"6","key":"991_CR46","doi-asserted-by":"publisher","first-page":"1469","DOI":"10.4171\/dm\/981","volume":"29","author":"S Sanders","year":"2024","unstructured":"Sanders, S.: Connecting real and hyperarithmetical analysis. Doc. Math. 29(6), 1469\u20131498 (2024)","journal-title":"Doc. Math."},{"key":"991_CR47","volume-title":"Simpson, Subsystems of second order arithmetic","author":"G Stephen","year":"2009","unstructured":"Stephen, G.: Simpson, Subsystems of second order arithmetic, 2nd edn. Perspectives in Logic, CUP (2009)","edition":"2"},{"key":"991_CR48","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":"991_CR49","unstructured":"Yokoyama, K.: Standard and non-standard analysis in second order arithmetic, Tohoku Mathematical Publications, vol. 34, Sendai, 2009. PhD Thesis, Tohoku University (2007)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00991-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-00991-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00991-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T08:01:34Z","timestamp":1780387294000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-00991-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,15]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["991"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-00991-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,15]]},"assertion":[{"value":"19 March 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}