In order for a true believer to really know Mount Everest, he must slowly and painfully trudge up its forbidding side, climbing the rocks amid the snow and the slush, with his confidence waning and his skepticism growing as to the possibility of ever scaling the height. But in these days of great forward leaps in technology, why not get into a helicopter, fly up to the summit, and quickly survey the rarefied realm — all while having a nice cup of tea?
-Akihiro Kanamori and Menachem Magidor,
“The evolution of large cardinal axioms in set theory.”
In our discussion of ultrafilters, we have thus far focussed on ultrafilters on countable sets (the natural numbers, mainly). Today, in the last installment of our miniseries, we move higher. Much higher.
The standard axioms of set theory (Zermelo-Fraenkel with Choice (or ZFC, for short)), imply the existence of what most people would consider to be quite large cardinal numbers. Even the smallest infinite cardinal, , so far exceeds our everyday experience as to be almost ungraspable. But this is, of course, only the beginning. Recall, that, for a cardinal , denotes the cardinality of the power set of a set of cardinality . Since the Power Set Axiom is one of the axioms of ZFC, we get the existence of , also known as . By Cantor’s theorem, . Continuing, we find , , and so on, an increasing sequence of cardinals. But we are, of course, not done. A different axiom of ZFC (called Replacement) ensures the existence of a cardinal called , the least cardinal bigger than for all . But now, of course, we have , and you know how the story continues.
We can conceive of some cardinals, though, that are so large that they cannot be proven to exist by the axioms of ZFC. What do I mean by this? Recall that, as a set, we often identify a cardinal with the least ordinal of its size, i.e. the set of all ordinals of strictly smaller size. Recall also that a cardinal is regular if, whenever and is unbounded in , then . And some new terminology: we say that a cardinal is strong limit if, whenever, , we also have .
Note that is a strong limit cardinal. To see this, suppose . Then there is such that . But then . , however, is not regular. If , then is unbounded in , but .
Are there any regular strong limit cardinals? Well, yes. does the trick. (Exercise: Why?) Are there any others? Uncountable regular strong limit cardinals are called strongly inaccessible cardinals. It turns out that, if the axioms of ZFC are consistent, they cannot prove the existence of strongly inaccessible cardinals. To see why, we need a few words about the universe of set theory. Traditionally, we think of the universe of set theory (named ) as being built up cumulatively as a hierarchy of sets , where ranges over all ordinals. The hierarchy is increasing, i.e. if , then , and every set in is contained in some . It turns out that, if is a strongly inaccessible cardinal, then all of the axioms of ZFC are already true in . Therefore, if there is a strongly inaccessible cardinal and is the least one, then is a model of all of the axioms of set theory in which there are no strongly inaccessible cardinals (if a cardinal is strongly inaccessible in , then it would really be strongly inaccessible, contradicting the minimality of ). A more subtle argument, using Gödel’s Second Incompleteness Theorem, shows that, working in ZFC, the consistency of ZFC does not imply the consistency of ZFC together with the existence of a strongly inaccessible cardinal.
(Incidentally, satisfies all of the axioms of ZFC with one crucial exception: the Axiom of Infinity, which simply asserts the existence of an infinite set. All of the sets in are finite! This shows that the Axiom of Infinity cannot be derived from the others.)
The assertion that there is a strongly inaccessible cardinal (together with ZFC) therefore transcends ZFC and is one of the weakest in a hierarchy of axioms known as large cardinal axioms. Roughly speaking, a large cardinal is a type of cardinal whose existence is not implied by the axioms of ZFC. Strongly inaccessible cardinals, then, are among the smallest of the commonly studied large cardinals.
Let’s jump into the helicopter employed by Kanamori and Magidor in their magisterial 1978 survey paper and go a bit higher. In fact, quite a bit higher; in the interest of time, we will skip over much of the landscape and only touch on a few highlights of the large cardinal hierarchy.
Infinite Ramsey Theorem: For every function , there is an infinite that is homogeneous for , i.e. there is a fixed value such that, for all , .
It is natural to wonder whether this can be generalized to cardinals higher than . Namely, we may ask the following question:
Higher Infinite Ramsey Question: Is there a cardinal such that, for every function , there is such that and is homogeneous for ? In the notation of our last post, is there such that ?
There is a nice argument (which we will omit) showing that does not have this property. In fact, perhaps somewhat surprisingly, if and , then must be strongly inaccessible! Much more is in fact true: if and , then must be the strongly inaccessible cardinal!
If and , then we say that is a weakly compact cardinal. The assertion that there is a weakly compact cardinal is therefore a large cardinal axiom much stronger than the assertion that there is a strongly inaccessible cardinal.
Weakly compact cardinals, while still somewhat small in the large cardinal hierarchy, are, to my mind, among the most interesting large cardinals. This is due, in large part, to the delightful fact that there are many equivalent definitions of weakly compact cardinals that, at first glance, have little to do with one another (mathematicians love this – it provides some evidence that the notion we have isolated is a natural and important one). I will not explain any of these equivalent definitions, but I present some of them here for the sake of poetry.
Theorem: Suppose is a cardinal. Then the following conditions are all equivalent to one another, and all characterize weak compactness.
- is strongly inaccessible and has the tree property.
- is -indescribable.
- satisfies compactness for collections of sentences using at most non-logical symbols.
- For all , there is a transitive set such that and a subset such that .
- For every -model , there is a -model and an elementary embedding such that and .
Onward and upward, and, at our next stop, ultrafilters will re-enter the picture. Recall that, if is an ultrafilter, then any finite intersection of sets in is itself in . What if we demand more? Let us make the following definition.
Definition: Suppose is an ultrafilter and is a cardinal. Then is –complete if, whenever, is a collection of sets in and , then the intersection of all of the sets in is in .
Thus, any ultrafilter is -complete. Moreover, we now have the language to describe our next large cardinal notion: a cardinal is measurable if there is a non-principal, -complete ultrafilter on .
It turns out that all measurable cardinals are weakly compact and, as in the jump from strongly inaccessible to weakly compact, we have in fact moved up in size significantly: if is measurable, then is the weakly compact cardinal.
Even larger large cardinals can also be formulated in terms of ultrafilters. To give their definition, we need some notation. Suppose are cardinals. Then . We say a cardinal is –supercompact if there is a -complete, normal, fine ultrafilter on (don’t worry about the definitions of ‘normal’ or ‘fine’; they are technical conditions asserting that the ultrafilter is ‘nice,’ in a certain sense). is supercompact if is -supercompact for all .
We are quite high up now, and the air is getting thin. Supercompact cardinals frequently appear in my own work; the existence of all of these nice ultrafilters gives one quite a bit of power (suspiciously much power, it sometimes seems). It will not surprise you to learn that supercompact cardinals are measurable and, in fact, if is supercompact, then is the measurable cardinal.
This is all well and good, but why, you might ask, should we study these large cardinals, much less believe that they exist (or, at least, consistently exist)? There are a number of answers to this, and we can’t possibly go into the depths of the arguments here, but I will present a few responses.
- Large cardinal axioms conform with an intuition that the universe of sets should be as rich as possible, and denying the existence of large cardinals seems to many people to be needlessly restrictive.
- Many large cardinal axioms generalize properties that hold at (or, sometimes, of the class of all ordinals). This includes most of what we have seen today: if we did not require large cardinals to be uncountable, then would be strongly inaccessible, weakly compact, and measurable (under the definitions given here). It would seem strange if were the only cardinal satisfying these properties.
- Efficacy: Positing the existence of large cardinals can solve a number of problems that could not be solved without them. Somewhat surprisingly, some of these problems are about objects that are quite small (compared to the large cardinals), such as the set of real numbers.
- Aesthetics: The fact that, for example, weakly compact cardinals have so many equivalent formulations is highly pleasing and suggests that the notion is a valuable and important one. More broadly, the fact that the large cardinal notions we study, coming from different sources and having seemingly unrelated definitions, form a nice, mostly linear hierarchy, might count as evidence that we are on the right track.
One must be careful, though, lest the helicopter crash. At the end of his 1967 PhD thesis, Reinhardt proposed a large cardinal that was a natural generalization of those considered thus far and that came to be known as a Reinhardt cardinal. In a striking turn of events, soon thereafter, Kunen proved that Reinhardt cardinals are inconsistent with ZFC! Since then, we have been edging closer and closer to this chasm of inconsistency, defining stronger and stronger large cardinal axioms that stop just short of falling prey to Kunen’s proof. The fact that none of these axioms has yet been proven inconsistent (and not for lack of trying) may give us confidence in their use, but there is always the slim chance that one of them will be proven outright false, an occurrence that would be exhilarating and calamitous in equal measure. We end with another evocative quote from Kanamori and Magidor.
Of course, the sky looks highly unapproachable from the ground. But in the current climate of relative consistency results and the Axiom of Determinacy, we are not afraid to get into our mental helicopters and, Icarus-like, soar unashamedly in speculative altitudes implicit in forms of statements like “if there is a measurable cardinal, then…” If the sun begins to melt the wax on our wings, we can always don the formalist parachute by saying that these are interesting implications of ZFC.