{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:13:51Z","timestamp":1760202831904},"reference-count":70,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2020,1,1]]},"DOI":"10.1215\/00294527-2019-0032","type":"journal-article","created":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T03:07:27Z","timestamp":1576638447000},"source":"Crossref","is-referenced-by-count":6,"title":["Splittings and Disjunctions in Reverse Mathematics"],"prefix":"10.1215","volume":"61","author":[{"given":"Sam","family":"Sanders","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"18","unstructured":"[18] Dzhafarov, D. D., <i>Reverse Mathematics Zoo<\/i>, <a href=\"http:\/\/rmzoo.uconn.edu\/\">http:\/\/rmzoo.uconn.edu\/<\/a>, May 2018."},{"key":"22","unstructured":"[22] Friedman, H. M., <i>Interpretations, According to Tarski<\/i>, lecture 1at <i>Interpretations of Set Theory in Discrete Mathematics and Informal Thinking, The Nineteenth Annual Tarski Lectures<\/i>, 2007, <a href=\"http:\/\/u.osu.edu\/friedman.8\/files\/2014\/01\/Tarski1052407-13do0b2.pdf\">http:\/\/u.osu.edu\/friedman.8\/files\/2014\/01\/Tarski1052407-13do0b2.pdf<\/a>, accessed May 2018."},{"key":"33","unstructured":"[33] Koellner, P., <i>Large Cardinals and Determinacy<\/i>, The Stanford Encyclopedia of Philosophy, 2014, <a href=\"https:\/\/plato.stanford.edu\/archives\/spr2014\/entries\/large-cardinals-determinacy\/\">https:\/\/plato.stanford.edu\/archives\/spr2014\/entries\/large-cardinals-determinacy\/<\/a>, accessed May 2018."},{"key":"51","unstructured":"[51] Normann, D., and S. Sanders, \u201cPincherle\u2019s theorem in computability theory and Reverse Mathematics,\u201d preprint, <a href=\"arXiv:1808.09783v3\">arXiv:1808.09783v3<\/a>."},{"key":"52","unstructured":"[52] Normann, D., and S. Sanders, \u201cRepresentations in measure theory,\u201d preprint, <a href=\"arxiv:1902.02756\">arxiv:1902.02756<\/a>."},{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Avigad, J., and S. Feferman, \u201cG\u00f6del\u2019s functional (\u201cDialectica\u201d) interpretation,\u201d pp. 337\u2013405 in <i>Handbook of Proof Theory<\/i>, edited by S. R. Buss, vol. 137 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1998.","DOI":"10.1016\/S0049-237X(98)80020-7"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Avigad, J., E. T. Dean, and J. Rute, \u201cAlgorithmic randomness, reverse mathematics, and the dominated convergence theorem,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 163 (2012), pp. 1854\u201364.","DOI":"10.1016\/j.apal.2012.05.010"},{"key":"3","unstructured":"[3] Bartle, R. G., <i>The Elements of Real Analysis<\/i>, 2nd ed., Wiley, New York, 1976."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Bartle, R. G., <i>A Modern Theory of Integration<\/i>, vol. 32 of <i>Graduate Studies in Mathematics<\/i>, American Mathematical Society, Providence, 2001.","DOI":"10.1090\/gsm\/032"},{"key":"5","unstructured":"[5] Bartle, R. G., and D. R. Sherbert, <i>Introduction to Real Analysis<\/i>, Wiley, New York, 1982."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Belanger, D. R., \u201c$\\mathsf{WKL}_{0}$ and induction principles in model theory,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 166 (2015), pp. 767\u201399.","DOI":"10.1016\/j.apal.2015.04.001"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Benacerraf, P., and H. Putnam, <i>Philosophy of Mathematics: Selected Readings<\/i>, 2nd edition, Cambridge University Press, Cambridge, 1984.","DOI":"10.1017\/CBO9781139171519"},{"key":"8","unstructured":"[8] Bernays, P., \u201cSur le Platonisme dans les math\u00e9matiques,\u201d <i>L\u2019Enseignement Math\u00e9matique<\/i>, vol. 34 (1935), pp. 52\u201369."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Borel, E., \u201cSur quelques points de la th\u00e9orie des fonctions,\u201d <i>Annales Scientifiques de l\u2019\u00c9cole Normale Sup\u00e9rieure (3)<\/i>, vol. 12 (1895), pp. 9\u201355.","DOI":"10.24033\/asens.406"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Botsko, M., \u201cThe teaching of mathematics: A unified treatment of various theorems in elementary analysis,\u201d <i>American Mathematical Monthly<\/i>, vol. 94 (1987), pp. 450\u20132.","DOI":"10.1080\/00029890.1987.12000664"},{"key":"11","unstructured":"[11] Brouwer, L. E. J., <i>Collected Works, Vol. 1: Philosophy and Foundations of Mathematics<\/i>, edited by A. Heyting, North-Holland, Amsterdam, 1975."},{"key":"12","unstructured":"[12] Burgess, J. P., <i>Fixing Frege<\/i>, Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005."},{"key":"13","unstructured":"[13] Burk, F. E., <i>A Garden of Integrals<\/i>, vol. 31 of <i>The Dolciani Mathematical Expositions<\/i>, Mathematical Association of America, Washington, DC, 2007."},{"key":"14","unstructured":"[14] Cantor, G., <i>Gesammelte Abhandlungen mathematischen und philosophischen Inhalts<\/i>, reprint of the 1932 original, Springer, Berlin, 1980."},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Cousin, P., \u201cSur les fonctions de $n$ variables complexes,\u201d <i>Acta Mathematica<\/i> vol. 19 (1895), pp. 1\u201361.","DOI":"10.1007\/BF02402869"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Dedekind, R., <i>Stetigkeit und irrationale Zahlen<\/i>, 6th unaltered edition, Vieweg, Braunschweig, 1960.","DOI":"10.1007\/978-3-322-98548-4"},{"key":"17","unstructured":"[17] Denjoy, A., \u201cUne extension de l\u2019int\u00e9grale de M. Lebesgue,\u201d <i>Comptes Rendus Math\u00e9matique Acad\u00e9mie des Sciences Paris<\/i>, vol. 154 (1912), pp. 859\u201362."},{"key":"19","unstructured":"[19] Friedman, H., \u201cSome systems of second order arithmetic and their use,\u201d pp. 235\u201342 in <i>Proceedings of the International Congress of Mathematicians, Vol. 1 (Vancouver, 1974)<\/i>, Canadian Mathematical Congress, Montreal, 1975."},{"key":"20","unstructured":"[20] Friedman, H., \u201cSystems of second order arithmetic with restricted induction, I and II (Abstracts),\u201d <i>Journal of Symbolic Logic<\/i>, vol. 41 (1976), pp. 557\u20139."},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Friedman, H., S. G. Simpson, and X. Yu, \u201cPeriodic points and subsystems of second-order arithmetic,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 62 (1993), pp. 51\u201364.","DOI":"10.1016\/0168-0072(93)90187-I"},{"key":"23","unstructured":"[23] Gandy, R. O., \u201cGeneral recursive functionals of finite type and hierarchies of functions,\u201d <i>Annales de la Facult\u00e9 des Sciences de Universit\u00e9 Clermont-Ferrand<\/i>, vol. 35 (1967), pp. 5\u201324."},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Gordon, R. A., \u201cThe use of tagged partitions in elementary real analysis,\u201d <i>American Mathematical Monthly<\/i>, vol. 105 (1998), pp. 107\u201317.","DOI":"10.1080\/00029890.1998.12004858"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Hartley, J. P., \u201cEffective discontinuity and a characterisation of the superjump,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 349\u201358.","DOI":"10.2307\/2274221"},{"key":"26","unstructured":"[26] Hewitt, E., and K. Stromberg, <i>Real and Abstract Analysis<\/i>, vol. 25of <i>Graduate Texts in Mathematics<\/i>, Springer, New York, 1975."},{"key":"27","unstructured":"[27] Hirschfeldt, D. R., <i>Slicing the Truth<\/i>, vol. 28 of <i>Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore<\/i>, World Scientific, Hackensack, NJ, 2015."},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] Hirst, J. L., \u201cRepresentations of reals in reverse mathematics,\u201d <i>Bulletin of the Polish Academy of Sciences<\/i>, vol. 55 (2007), pp. 303\u201316.","DOI":"10.4064\/ba55-4-2"},{"key":"29","unstructured":"[29] Hunter, J., \u201cHigher-order reverse topology,\u201d Ph.D. dissertation, University of Wisconsin, Madison, Madison, WI, 2008."},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] Ishihara, H., \u201cOn Brouwer\u2019s continuity principle,\u201d <i>Indagationes Mathematicae (New Series)<\/i>, vol. 29 (2018), pp. 1511\u201324.","DOI":"10.1016\/j.indag.2018.01.012"},{"key":"31","unstructured":"[31] Jost, J., <i>Postmodern Analysis<\/i>, 3rd edition, <i>Universitext<\/i>, Springer, Berlin, 2005."},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] Kleiner, I., <i>Excursions in the History of Mathematics<\/i>, Birkh\u00e4user\/Springer, New York, 2012.","DOI":"10.1007\/978-0-8176-8268-2"},{"key":"34","unstructured":"[34] Kohlenbach, U., \u201cFoundational and mathematical uses of higher types,\u201d pp. 92\u2013116 in <i>Reflections on the Foundations of Mathematics (Stanford, CA, 1998)<\/i>, vol. 15 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, Urbana, 2002."},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] Kohlenbach, U., \u201cHigher order reverse mathematics,\u201d pp. 281\u201395 in <i>Reverse Mathematics 2001<\/i>, edited by S. G. Simpson, vol. 21 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, CA, 2005.","DOI":"10.1017\/9781316755846.018"},{"key":"36","unstructured":"[36] Lindel\u00f6f, E., \u201cSur quelques points de la th\u00e9orie des ensembles,\u201d <i>Comptes Rendus<\/i>, vol. 137 (1903), pp. 697\u2013700."},{"key":"37","doi-asserted-by":"crossref","unstructured":"[37] Longley, J., and D. Normann, <i>Higher-Order Computability<\/i>, Theory and Applications of Computability, Springer, Heidelberg, 2015.","DOI":"10.1007\/978-3-662-47992-6"},{"key":"38","doi-asserted-by":"crossref","unstructured":"[38] Medvedev, F. A., <i>Scenes from the History of Real Functions<\/i>, vol. 7 of <i>Science Networks. Historical Studies<\/i>, Birkh\u00e4user, Basel, 1991.","DOI":"10.1007\/978-3-0348-8660-4"},{"key":"39","unstructured":"[39] Michelson, A. A., <i>XIX The Department of Physics, Introductory<\/i>, Annual Register, University of Chicago, Chicago, 1894."},{"key":"40","unstructured":"[40] Michelson, A. A., \u201cSome of the objects and methods of physical science,\u201d <i>University of Chicago Quarterly Calendar<\/i>, vol. 3 (1894), p. 15."},{"key":"41","unstructured":"[41] Michelson, A. A., \u201cSome of the objects and methods of physical science,\u201d <i>Electrical Engineer<\/i>, vol. 21 (1896), p. 9."},{"key":"42","doi-asserted-by":"publisher","unstructured":"[42] Montalb\u00e1n, A., \u201cOpen questions in reverse mathematics,\u201d <i>Bulletin of Symbolic Logic<\/i>, vol. 17 (2011), pp. 431\u201354.","DOI":"10.2178\/bsl\/1309952320"},{"key":"43","doi-asserted-by":"crossref","unstructured":"[43] Montalb\u00e1n, A., and R. A. Shore, \u201cThe limits of determinacy in second-order arithmetic,\u201d <i>Proceedings of the London Mathematical Society (3)<\/i>, vol. 104 (2012), pp. 223\u201352.","DOI":"10.1112\/plms\/pdr022"},{"key":"44","unstructured":"[44] Muldowney, P., \u201cA general theory of integration in function spaces, including Wiener and Feynman integration,\u201d vol. 153 of <i>Pitman Research Notes in Mathematics Series<\/i>, Wiley, New York, 1987."},{"key":"45","doi-asserted-by":"publisher","unstructured":"[45] Muldowney, P., \u201cThe infinite dimensional Henstock integral and problems of Black-Scholes expectation,\u201d <i>Journal of Applied Analysis<\/i>, vol. 8 (2002), pp. 1\u201321.","DOI":"10.1515\/JAA.2002.1"},{"key":"46","doi-asserted-by":"crossref","unstructured":"[46] Muldowney, P., <i>A Modern Theory of Random Variation<\/i>, Wiley, Hoboken, NJ, 2012.","DOI":"10.1002\/9781118345955"},{"key":"47","unstructured":"[47] Muldowney, P., private communication, January 2019."},{"key":"48","doi-asserted-by":"publisher","unstructured":"[48] Normann, D., and S. Sanders, \u201cComputability theory, nonstandard analysis, and their connections,\u201d <i>Journal of Symbolic Logic<\/i>, published electronically September 23, 2019.","DOI":"10.1017\/jsl.2019.69"},{"key":"49","doi-asserted-by":"publisher","unstructured":"[49] Normann, D., and S. Sanders, \u201cOn the mathematical and foundational significance of the uncountable,\u201d <i>Journal of Mathematical Logic<\/i>, vol. 19 (2019), art. ID 1950001.","DOI":"10.1142\/S0219061319500016"},{"key":"50","doi-asserted-by":"publisher","unstructured":"[50] Normann, D., and S. Sanders, \u201cThe strength of compactness in computability theory and nonstandard analysis,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 170 (2019), art. ID 102710.","DOI":"10.1016\/j.apal.2019.05.007"},{"key":"53","unstructured":"[53] Pincherle, S., \u201cSopra alcuni sviluppi in serie per funzioni analitiche (1882),\u201d pp. 64\u201391 in <i>Opere Scelte, I<\/i>, Edizioni Cremonese, Rome, 1954."},{"key":"54","unstructured":"[54] Rudin, W., <i>Principles of Mathematical Analysis<\/i>, 3rd edition, <i>International Series in Pure and Applied Mathematics<\/i>, McGraw-Hill, New York, 1976."},{"key":"55","doi-asserted-by":"publisher","unstructured":"[55] Sakamoto, N., and T. Yamazaki, \u201cUniform versions of some axioms of second order arithmetic,\u201d <i>MLQ Mathematical Logic Quarterly<\/i>, vol. 50 (2004), pp. 587\u201393.","DOI":"10.1002\/malq.200310122"},{"key":"56","doi-asserted-by":"crossref","unstructured":"[56] Sanders, S., \u201cSome nonstandard equivalences in reverse mathematics,\u201d pp. 365\u201375 in <i>Sailing Routes in the World of Computation<\/i>, edited by F. Manea, R. G. Miller, and D. Nowotka, vol. 10936 of <i>Lecture Notes in Computer Science<\/i>, Springer, Cham, 2018.","DOI":"10.1007\/978-3-319-94418-0_37"},{"key":"57","unstructured":"[57] Simpson, S. G., ed., <i>Reverse Mathematics 2001<\/i>, vol. 21 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, CA, 2005."},{"key":"58","unstructured":"[58] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, 2nd edition, <i>Perspectives in Logic<\/i>, Cambridge University Press, Cambridge, 2009."},{"key":"59","doi-asserted-by":"crossref","unstructured":"[59] Simpson, S. G., \u201cThe G\u00f6del hierarchy and reverse mathematics,\u201d pp. 109\u201327 in <i>Kurt G\u00f6del: Essays for His Centennial<\/i>, vol. 33 of <i>Lecture Notes in Logic<\/i>, Association for Symbolic Logic, La Jolla, CA, 2010.","DOI":"10.1017\/CBO9780511750762.008"},{"key":"60","doi-asserted-by":"crossref","unstructured":"[60] Stillwell, J., <i>Reverse Mathematics: Proofs from the Inside Out<\/i>, Princeton University Press, Princeton, 2018.","DOI":"10.2307\/j.ctvc772m5"},{"key":"61","doi-asserted-by":"crossref","unstructured":"[61] Swartz, C., <i>Introduction to Gauge Integrals<\/i>, World Scientific, Singapore, 2001.","DOI":"10.1142\/4361"},{"key":"62","doi-asserted-by":"crossref","unstructured":"[62] Tait, W. W., \u201cFinitism,\u201d <i>Journal of Philosophy<\/i>, vol. 78 (1981), pp. 524\u201364.","DOI":"10.2307\/2026089"},{"key":"63","doi-asserted-by":"crossref","unstructured":"[63] Tao, T., <i>An Introduction to Measure Theory<\/i>, vol. 126 of <i>Graduate Studies in Mathematics<\/i>, American Mathematical Society, Providence, 2011.","DOI":"10.1090\/gsm\/126"},{"key":"64","unstructured":"[64] Tao, T., <i>Analysis, I<\/i>, 3rd edition, vol. 37 of <i>Texts and Readings in Mathematics<\/i>, Hindustan Book Agency, New Delhi, 2014."},{"key":"65","doi-asserted-by":"publisher","unstructured":"[65] Thomson, B., J. Bruckner, and A. Bruckner, <i>Elementary Real Analysis<\/i>, Prentice Hall, Upper Saddle River, NJ, 2001.","DOI":"10.1016\/S0723-0869(01)80019-0"},{"key":"66","doi-asserted-by":"crossref","unstructured":"[66] Troelstra, A. S., ed., <i>Metamathematical Investigation of Intuitionistic Arithmetic and Analysis<\/i>, vol. 344 of <i>Lecture Notes in Mathematics<\/i>, Springer, Berlin, 1973.","DOI":"10.1007\/BFb0066739"},{"key":"67","doi-asserted-by":"publisher","unstructured":"[67] Walsh, S., \u201cDefinability aspects of the Denjoy integral,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 237 (2017), pp. 1\u201329.","DOI":"10.4064\/fm773-9-2016"},{"key":"68","doi-asserted-by":"publisher","unstructured":"[68] Wang, H., \u201cEighty years of foundational studies,\u201d <i>Dialectica<\/i> vol. 12 (1958), pp. 466\u201397.","DOI":"10.1111\/j.1746-8361.1958.tb01476.x"},{"key":"69","doi-asserted-by":"crossref","unstructured":"[69] Weierstrass, K., <i>Ausgew\u00e4hlte Kapitel aus der Funktionenlehre<\/i>, vol. 9 of <i>Teubner-Archiv zur Mathematik<\/i>, Teubner, Leipzig, 1988.","DOI":"10.1007\/978-3-7091-9533-8"},{"key":"70","doi-asserted-by":"crossref","unstructured":"[70] Weinberg, S., <i>Dreams of a Final Theory<\/i>, Vintage Books, New York, 1994.","DOI":"10.1119\/1.17723"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:00:00Z","timestamp":1706648400000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-61\/issue-1\/Splittings-and-Disjunctions-in-Reverse-Mathematics\/10.1215\/00294527-2019-0032.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,1]]},"references-count":70,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0032","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2020,1,1]]}}}