Proving Theorems from Reflection
We review some fundamental questions concerning the real line of mathematical analysis, which, like the Continuum Hypothesis, are also independent of the axioms of set theory, but are of a less ‘problematic’ nature, as they can be solved by adopting the right axiomatic framework. We contend that any foundations for mathematics should be able to simply formulate such questions as well as to raise at least the theoretical hope for their resolution.
The usual procedure in set theory (as a foundation) is to add so-called strong axioms of infinity to the standard axioms of Zermelo-Fraenkel, but then the question of their justification becomes to some people vexing. We show how the adoption of a view of the universe of sets with classes, together with certain kinds of Global Reflection Principles resolves some of these issues.
- Bernays, P. (1961). Zur Frage der Unendlichkeitsschemata in der axiomatische Mengenlehre. In Essays on the foundations of mathematics (pp. 3–49). Hebrew University of Jerusalem: Magnus Press.Google Scholar
- Feferman, S. (2012). Is the continuum hypothesis a definite mathematical problem? In: EFI Workshop Papers, Harvard.Google Scholar
- Kanamori, A. (2003). The higher infinite (Springer monographs in mathematics, 2nd ed.). New York: Springer.Google Scholar
- Lusin, N., & Sierpiński, W. (1923). Sur un ensemble non measurable B. Journal de Mathématiques, 9e serie, 2, 53–72.Google Scholar
- Reinhardt, W. (1974). Remarks on reflection principles, large cardinals, and elementary embeddings. In T. Jech (Ed.), Axiomatic set theory, vol. 13 part 2 of Proceedings of Symposia in Pure Mathematics (pp. 189–205). Providence: American Mathematical Society.Google Scholar
- Solovay, R. M. (1965). The measure problem (abstract). Notices of the American Mathematical Society, 12, 217.Google Scholar
- Solovay, R. M. (1969). The cardinality of \(\Sigma ^1_2\) sets of reals. In J.J. Bulloff, T.C. Holyoke, & S.W. Hahn (Eds.), Foundations of mathematics: Symposium papers commemorating the sixtieth birthday of Kurt Gödel (pp. 58–73). Berlin: Springer.Google Scholar
- Tait, W. W. (2005). Constructing cardinals from below. In W. W. Tait (Ed.), The provenance of pure reason: Essays in the philosophy of mathematics and its history (pp. 133–154). Oxford: Oxford University Press.Google Scholar
- Wagon, S. (1994). The banach-tarski paradox. Cambridge: Cambridge University Press.Google Scholar
- Wang, H. (1996). A logical journey: From Godel to philosophy. Boston: MIT Press.Google Scholar
- Welch, P. D. (2012). Global reflection principles. Isaac Newton Institute Pre-print Series. Exploring the Frontiers of Incompleteness, EFI Workshop Papers, Harvard (INI12051-SAS).Google Scholar
- Woodin, W. H. (2001a). The continuum hypothesis, Part I. Notices of the American Mathematical Society, 48, 567–576.Google Scholar
- Woodin, W. H. (2001b). The continuum hypothesis, Part II. Notices of the American Mathematical Society, 48, 681–690.Google Scholar