Notes to Large Cardinals and Determinacy
1. This view that only natural numbers (and things reducible to them) have real mathematical existence has a long tradition, going back at least to the German mathematician Martin Ohm (1792–1872). Other notable figures in this tradition include Leopold Kronecker (1823–1891), Hermann Weyl (1885–1955), and, more recently, Solomon Feferman. See Ferreirós (2007), pp. 11–13 for further discussion on the early history.
2. We should note that there are some views that accept the standard hierarchy of large cardinal axioms—and so climb the canonical path through the well-founded stem of the interpretability hierarchy “all the way”—and yet are pluralist about statements of third-order arithmetic, in particular CH. So once one has solved the problem of consistency—even in the strong sense where one actually adopts the theories in the canonical sequence—there is still plenty of room for pluralism in approaching the problem of selection.
3. It should be noted that some strict finitists—like Nelson himself—think that exponentiation is not total and so think that most of the degrees above that of Q are trivial (inconsistent). Such a strict finitist will not be a pluralist about, say, PRA and the theories extending it for the simple reason that such a strict finitist will think that these theories are inconsistent.
4. Nelson is one mathematician who does not accept the totality of exponentiation and this alone serves to rule out most systems beyond the degree of Q.
5. This theory is obtained from Q by adding Σ0-induction and the statement asserting that exponentiation is total.
6. Note that we are individuating our theories by their axioms.
7. Notice that in speaking of X being intrinsically justified on the basis of Y, X stands for a statement and Y stands for a conception. The relation is thus quite different than the usual relation of justified on the basis of which holds between statements and statements. The present notion bears comparison with the evidentness order since in the case where one has reached a minimal point—such as the case of “ϵ0 is well-ordered” one looks not to other statements for epistemic support but rather to the underlying conception.
8. We intend to use this term in the same sense as Parsons. See Parsons (2000) and chapter 9 of Parsons (2008) for a more detailed discussion of the notion and some of the themes we touch upon here.
9. This structure is homeomorphic to the irrationals (as standardly construed). The reason for working with ωω instead of ℝ is that ωω is homeomorphic to its finite products, (ωω)n, in contrast to the situation with ℝ. This enables one to concentrate on proving results for ωω, and simply note that they lift (through the natural homeomorphisms) to the finite products.
10. It is straightforward to see that this collection is the least collection containing the closed sets and closed under the operations of complementation and countable union.
11. We shall not discuss the details but let us note that the result is that the Δ01 sets coincide with the recursive sets and the lightface version of the Borel hierarchy coincides with the hyperarithmetical hierarchy.
12. Inner model theory is a very advanced subbranch of set theory and we will not be able to describe it in any detail here. Suffice it to say that the goal of inner model theory is to find “L-like” models that can contain large cardinals. In the results below Mω is the canonical inner model for ω-many Woodin cardinals and M♯ω is the “sharp” of this model. For a more detailed discussion of these results see Koellner and Woodin (2010).
13. Under the same hypothesis one has that all of the “provably-Δ21” sets of reals are universally Baire.
14. One might worry that what is really going on here is that large cardinal axioms throw a wrench into the forcing machinery. But this is not so. Under large cardinal assumptions one has more generic extensions. What is really going on is that large cardinal axioms generate trees that are robust and act as oracles for truth.
15. Consider, for example, the reasons given in Kepler’s “Defense of Ursus” and Epitome of Copernican Astronomy.