Skip to main content
4 of 6
added 78 characters in body
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

When I was a graduate student Jack Silver was famous for trying to refute first, the existence of measurable cardinals, and second, the consistency of ZFC. His attempt at refuting measurable cardinals led directly to the theory of ordinal indiscernibles over $L$ and $0^\sharp$, which are now a core part of our understanding of the nature of the constructible universe in the presence of large cardinals. What an amazing and valuable contribution to the subject he had made that way, even though he never achieved his initial goal of refuting measurable cardinals.

And although I have heard many people speak against Silver's inconsistency research program, my view has always been that

We cannot show that Silver's ideas about inconsistency are incoherent.

Because of the incompleteness theorem, we know that even if ZFC is consistent, then it is consistent with ZFC to hold that they are inconsistent. There will never be an argument against the view that ZFC is inconsistent that does not beg the question by assuming that they are consistent or something stronger.

Meanwhile, of course, many set theorists, including almost every large cardinal set theorists (but not quite all, like Silver), believe not only that ZFC is consistent, but that consistency rides much higher in the large cardinal hierarchy. There is no proof, for the reasons I gave above.

Another part of my view, however, is that it is precisely because we cannot prove that ZFC and large cardinals are consistent that we are interested in them. Namely, Gödel had identified with his theorem the incompleteness phenomenon, and from that we know of the existence of a tower of theories standing transfinitely above any foundational theory we might entertain. We know there is a tower of stronger theories above whatever theory $T$ we might have. One way of constructing such a tower of theories is to form the theories $T+\text{Con}(T)$ and $T+\text{Con}(T+\text{Con}(T))$ and so on.

But how remarkable that the large cardinal theories themselves instantiate the predicted tower of increasing consistency strength. These theories are not formed by some trivial closure under consistency statements, but rather express profound statements of infinite uncountable combinatorics.

We are glad to have found in the large cardinal hierarchy the predicted tower of consistency strength, and it is not worrisome that we cannot prove consistency — rather, this was just the feature that we were seeking.

Disclaimer. Although I heard Silver talk about set theory at length, having taken several of his graduate courses, I never once heard him discuss his inconsistency research program. All my knowledge about it is second-hand, from other senior set theorists whom I have no reason to doubt.

Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k