×

Splittings and disjunctions in reverse mathematics. (English) Zbl 1462.03009

The author examines equivalences in higher order reverse mathematics for conjunctions and disjunctions of formulas. Such results have long been of interest in traditional reverse mathematics. For example, P. A. Cholak et al. [J. Symb. Log. 66, No. 1, 1–55 (2001; Zbl 0977.03033)] proved the equivalence of Ramsey’s theorem for pairs with the conjunction of the stable Ramsey theorem and the principle COH. H. Friedman et al. [Ann. Pure Appl. Logic 62, No. 1, 51–64 (1993; Zbl 0781.03048)] proved the equivalence of the disjunction of \(\mathsf{WKL}_0\) and \(\Sigma^0_2\) induction with the assertion that finite iterations of continuous functions are continuous. Both types of results can lead to novel proof strategies. The first group of results here list splittings (conjunctions) equivalent to a modulus of uniform continuity MUC principle corresponding to the existence of the intuitionistic fan functional. The base system for these results is \(\mathsf{RCA}^\omega_0 +\mathsf{QF}\text{-}\mathsf{AC}^{2,0}\). Additional splittings of the functional principles \(\exists^2\) and \(\exists^3\) are related to \(\neg\mathsf{MUC}\). A second group of results proven over \(\mathsf{RCA}^\omega_0\) includes many disjunctions equivalent to \(\mathsf{WKL}_0 \lor\mathsf{I}\Sigma^0_2\). Additional disjunctions equivalent to \(\mathsf{WWKL}\) follow. After a section describing the foundational motivations of the work, a table gives a partial overview of the results. Note that, for example, Theorem 3.8 provides a scheme for generating additional results too numerous for inclusion in the table.

MSC:

03B30 Foundations of classical theories (including reverse mathematics)
03D65 Higher-type and set recursion theory
03F35 Second- and higher-order arithmetic and fragments
PDFBibTeX XMLCite
Full Text: DOI arXiv Euclid

References:

[1] Avigad, J., and S. Feferman, “Gödel’s functional (”Dialectica“) interpretation,” pp. 337-405 in Handbook of Proof Theory, edited by S. R. Buss, vol. 137 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1998. · Zbl 0913.03053
[2] Avigad, J., E. T. Dean, and J. Rute, “Algorithmic randomness, reverse mathematics, and the dominated convergence theorem,” Annals of Pure and Applied Logic, vol. 163 (2012), pp. 1854-64. · Zbl 1259.03021 · doi:10.1016/j.apal.2012.05.010
[3] Bartle, R. G., The Elements of Real Analysis, 2nd ed., Wiley, New York, 1976. · Zbl 0309.26003
[4] Bartle, R. G., A Modern Theory of Integration, vol. 32 of Graduate Studies in Mathematics, American Mathematical Society, Providence, 2001. · Zbl 0968.26001
[5] Bartle, R. G., and D. R. Sherbert, Introduction to Real Analysis, Wiley, New York, 1982. · Zbl 0494.26002
[6] Belanger, D. R., “\( \mathsf{WKL}_0\) and induction principles in model theory,” Annals of Pure and Applied Logic, vol. 166 (2015), pp. 767-99. · Zbl 1369.03099
[7] Benacerraf, P., and H. Putnam, Philosophy of Mathematics: Selected Readings, 2nd edition, Cambridge University Press, Cambridge, 1984. · Zbl 0548.03002
[8] Bernays, P., “Sur le Platonisme dans les mathématiques,” L’Enseignement Mathématique, vol. 34 (1935), pp. 52-69. · JFM 61.0047.03
[9] Borel, E., “Sur quelques points de la théorie des fonctions,” Annales Scientifiques de l’École Normale Supérieure (3), vol. 12 (1895), pp. 9-55. · JFM 26.0429.03
[10] Botsko, M., “The teaching of mathematics: A unified treatment of various theorems in elementary analysis,” American Mathematical Monthly, vol. 94 (1987), pp. 450-2.
[11] Brouwer, L. E. J., Collected Works, Vol. 1: Philosophy and Foundations of Mathematics, edited by A. Heyting, North-Holland, Amsterdam, 1975. · Zbl 0311.01021
[12] Burgess, J. P., Fixing Frege, Princeton Monographs in Philosophy, Princeton University Press, Princeton, 2005. · Zbl 1089.03001
[13] Burk, F. E., A Garden of Integrals, vol. 31 of The Dolciani Mathematical Expositions, Mathematical Association of America, Washington, DC, 2007. · Zbl 1127.26300
[14] Cantor, G., Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, reprint of the 1932 original, Springer, Berlin, 1980. · Zbl 0441.04001
[15] Cousin, P., “Sur les fonctions de \(n\) variables complexes,” Acta Mathematica vol. 19 (1895), pp. 1-61. · JFM 26.0456.02 · doi:10.1007/BF02402869
[16] Dedekind, R., Stetigkeit und irrationale Zahlen, 6th unaltered edition, Vieweg, Braunschweig, 1960. · Zbl 0092.27802
[17] Denjoy, A., “Une extension de l’intégrale de M. Lebesgue,” Comptes Rendus Mathématique Académie des Sciences Paris, vol. 154 (1912), pp. 859-62. · JFM 43.0360.01
[18] Dzhafarov, D. D., Reverse Mathematics Zoo, http://rmzoo.uconn.edu/, May 2018.
[19] Friedman, H., “Some systems of second order arithmetic and their use,” pp. 235-42 in Proceedings of the International Congress of Mathematicians, Vol. 1 (Vancouver, 1974), Canadian Mathematical Congress, Montreal, 1975. · Zbl 0344.02022
[20] Friedman, H., “Systems of second order arithmetic with restricted induction, I and II (Abstracts),” Journal of Symbolic Logic, vol. 41 (1976), pp. 557-9.
[21] Friedman, H., S. G. Simpson, and X. Yu, “Periodic points and subsystems of second-order arithmetic,” Annals of Pure and Applied Logic, vol. 62 (1993), pp. 51-64. · Zbl 0781.03048 · doi:10.1016/0168-0072(93)90187-I
[22] Friedman, H. M., Interpretations, According to Tarski, lecture 1at Interpretations of Set Theory in Discrete Mathematics and Informal Thinking, The Nineteenth Annual Tarski Lectures, 2007, http://u.osu.edu/friedman.8/files/2014/01/Tarski1052407-13do0b2.pdf, accessed May 2018.
[23] Gandy, R. O., “General recursive functionals of finite type and hierarchies of functions,” Annales de la Faculté des Sciences de Université Clermont-Ferrand, vol. 35 (1967), pp. 5-24.
[24] Gordon, R. A., “The use of tagged partitions in elementary real analysis,” American Mathematical Monthly, vol. 105 (1998), pp. 107-17. · Zbl 0962.26001 · doi:10.1080/00029890.1998.12004858
[25] Hartley, J. P., “Effective discontinuity and a characterisation of the superjump,” Journal of Symbolic Logic, vol. 50 (1985), pp. 349-58. · Zbl 0589.03030 · doi:10.2307/2274221
[26] Hewitt, E., and K. Stromberg, Real and Abstract Analysis, vol. 25of Graduate Texts in Mathematics, Springer, New York, 1975. · Zbl 0307.28001
[27] Hirschfeldt, D. R., Slicing the Truth, vol. 28 of Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, World Scientific, Hackensack, NJ, 2015.
[28] Hirst, J. L., “Representations of reals in reverse mathematics,” Bulletin of the Polish Academy of Sciences, vol. 55 (2007), pp. 303-16. · Zbl 1138.03012 · doi:10.4064/ba55-4-2
[29] Hunter, J., “Higher-order reverse topology,” Ph.D. dissertation, University of Wisconsin, Madison, Madison, WI, 2008.
[30] Ishihara, H., “On Brouwer’s continuity principle,” Indagationes Mathematicae (New Series), vol. 29 (2018), pp. 1511-24. · Zbl 1437.03175
[31] Jost, J., Postmodern Analysis, 3rd edition, Universitext, Springer, Berlin, 2005. · Zbl 1097.26004
[32] Kleiner, I., Excursions in the History of Mathematics, Birkhäuser/Springer, New York, 2012. · Zbl 1230.01003
[33] Koellner, P., Large Cardinals and Determinacy, The Stanford Encyclopedia of Philosophy, 2014, https://plato.stanford.edu/archives/spr2014/entries/large-cardinals-determinacy/, accessed May 2018.
[34] Kohlenbach, U., “Foundational and mathematical uses of higher types,” pp. 92-116 in Reflections on the Foundations of Mathematics (Stanford, CA, 1998), vol. 15 of Lecture Notes in Logic, Association for Symbolic Logic, Urbana, 2002. · Zbl 1022.03044
[35] Kohlenbach, U., “Higher order reverse mathematics,” pp. 281-95 in Reverse Mathematics 2001, edited by S. G. Simpson, vol. 21 of Lecture Notes in Logic, Association for Symbolic Logic, La Jolla, CA, 2005. · Zbl 1097.03053
[36] Lindelöf, E., “Sur quelques points de la théorie des ensembles,” Comptes Rendus, vol. 137 (1903), pp. 697-700. · JFM 34.0076.04
[37] Longley, J., and D. Normann, Higher-Order Computability, Theory and Applications of Computability, Springer, Heidelberg, 2015. · Zbl 1471.03002
[38] Medvedev, F. A., Scenes from the History of Real Functions, vol. 7 of Science Networks. Historical Studies, Birkhäuser, Basel, 1991. · Zbl 0799.26001
[39] Michelson, A. A., XIX The Department of Physics, Introductory, Annual Register, University of Chicago, Chicago, 1894.
[40] Michelson, A. A., “Some of the objects and methods of physical science,” University of Chicago Quarterly Calendar, vol. 3 (1894), p. 15.
[41] Michelson, A. A., “Some of the objects and methods of physical science,” Electrical Engineer, vol. 21 (1896), p. 9.
[42] Montalbán, A., “Open questions in reverse mathematics,” Bulletin of Symbolic Logic, vol. 17 (2011), pp. 431-54. · Zbl 1233.03023 · doi:10.2178/bsl/1309952320
[43] Montalbán, A., and R. A. Shore, “The limits of determinacy in second-order arithmetic,” Proceedings of the London Mathematical Society (3), vol. 104 (2012), pp. 223-52. · Zbl 1245.03096
[44] Muldowney, P., “A general theory of integration in function spaces, including Wiener and Feynman integration,” vol. 153 of Pitman Research Notes in Mathematics Series, Wiley, New York, 1987. · Zbl 0623.28008
[45] Muldowney, P., “The infinite dimensional Henstock integral and problems of Black-Scholes expectation,” Journal of Applied Analysis, vol. 8 (2002), pp. 1-21. · Zbl 1042.28012 · doi:10.1515/JAA.2002.1
[46] Muldowney, P., A Modern Theory of Random Variation, Wiley, Hoboken, NJ, 2012. · Zbl 1268.60002
[47] Muldowney, P., private communication, January 2019.
[48] Normann, D., and S. Sanders, “Computability theory, nonstandard analysis, and their connections,” Journal of Symbolic Logic, published electronically September 23, 2019. · Zbl 1454.03018 · doi:10.1017/jsl.2019.69
[49] Normann, D., and S. Sanders, “On the mathematical and foundational significance of the uncountable,” Journal of Mathematical Logic, vol. 19 (2019), art. ID 1950001. · Zbl 1484.03018 · doi:10.1142/S0219061319500016
[50] Normann, D., and S. Sanders, “The strength of compactness in computability theory and nonstandard analysis,” Annals of Pure and Applied Logic, vol. 170 (2019), art. ID 102710. · Zbl 1430.03035 · doi:10.1016/j.apal.2019.05.007
[51] Normann, D., and S. Sanders, “Pincherle’s theorem in computability theory and Reverse Mathematics,” preprint, arXiv:1808.09783v3. · Zbl 1443.03008
[52] Normann, D., and S. Sanders, “Representations in measure theory,” preprint, arxiv:1902.02756. · Zbl 1430.03035
[53] Pincherle, S., “Sopra alcuni sviluppi in serie per funzioni analitiche (1882),” pp. 64-91 in Opere Scelte, I, Edizioni Cremonese, Rome, 1954.
[54] Rudin, W., Principles of Mathematical Analysis, 3rd edition, International Series in Pure and Applied Mathematics, McGraw-Hill, New York, 1976. · Zbl 0346.26002
[55] Sakamoto, N., and T. Yamazaki, “Uniform versions of some axioms of second order arithmetic,” MLQ Mathematical Logic Quarterly, vol. 50 (2004), pp. 587-93. · Zbl 1063.03045 · doi:10.1002/malq.200310122
[56] Sanders, S., “Some nonstandard equivalences in reverse mathematics,” pp. 365-75 in Sailing Routes in the World of Computation, edited by F. Manea, R. G. Miller, and D. Nowotka, vol. 10936 of Lecture Notes in Computer Science, Springer, Cham, 2018. · Zbl 1509.03038
[57] Simpson, S. G., ed., Reverse Mathematics 2001, vol. 21 of Lecture Notes in Logic, Association for Symbolic Logic, La Jolla, CA, 2005. · Zbl 0578.03005
[58] Simpson, S. G., Subsystems of Second Order Arithmetic, 2nd edition, Perspectives in Logic, Cambridge University Press, Cambridge, 2009. · Zbl 1181.03001
[59] Simpson, S. G., “The Gödel hierarchy and reverse mathematics,” pp. 109-27 in Kurt Gödel: Essays for His Centennial, vol. 33 of Lecture Notes in Logic, Association for Symbolic Logic, La Jolla, CA, 2010. · Zbl 1223.03006
[60] Stillwell, J., Reverse Mathematics: Proofs from the Inside Out, Princeton University Press, Princeton, 2018. · Zbl 1386.00059
[61] Swartz, C., Introduction to Gauge Integrals, World Scientific, Singapore, 2001. · Zbl 0982.26006
[62] Tait, W. W., “Finitism,” Journal of Philosophy, vol. 78 (1981), pp. 524-64.
[63] Tao, T., An Introduction to Measure Theory, vol. 126 of Graduate Studies in Mathematics, American Mathematical Society, Providence, 2011. · Zbl 1231.28001
[64] Tao, T., Analysis, I, 3rd edition, vol. 37 of Texts and Readings in Mathematics, Hindustan Book Agency, New Delhi, 2014. · Zbl 1300.26002
[65] Thomson, B., J. Bruckner, and A. Bruckner, Elementary Real Analysis, Prentice Hall, Upper Saddle River, NJ, 2001. · Zbl 1018.01004 · doi:10.1016/S0723-0869(01)80019-0
[66] Troelstra, A. S., ed., Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, vol. 344 of Lecture Notes in Mathematics, Springer, Berlin, 1973. · Zbl 0275.02025
[67] Walsh, S., “Definability aspects of the Denjoy integral,” Fundamenta Mathematicae, vol. 237 (2017), pp. 1-29. · Zbl 1420.03086 · doi:10.4064/fm773-9-2016
[68] Wang, H., “Eighty years of foundational studies,” Dialectica vol. 12 (1958), pp. 466-97. · Zbl 0090.00804 · doi:10.1111/j.1746-8361.1958.tb01476.x
[69] Weierstrass, K., Ausgewählte Kapitel aus der Funktionenlehre, vol. 9 of Teubner-Archiv zur Mathematik, Teubner, Leipzig, 1988. · Zbl 0679.01010
[70] Weinberg, S., Dreams of a Final Theory, Vintage Books, New York, 1994.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.