The url for this blog is actually a bad math joke. So, I’m using this space to explain it.

We say that is a **Reinhardt cardinal** if there exists an elementary embedding with . The following result is due to Kunen, but the proof we will be giving of the result is due to Zapletal. We will work in Kelly-Morse set theory.

**Theorem **(Kunen): If is a nontrivial elementary embedding, then .

Another way of saying this is that the theory “ZFC + There exists a Reinhardt Cardinal” is inconsistent. So, that’s the joke (also explains the tagline). Of course, there was some reason to even discuss the existence of such a cardinal, else no one would have even considered it, and it wouldn’t be a big deal that the existence of such a thing is inconsistent with ZFC.

We say that a cardinal is **measurable** if there exists a nontrivial elementary embedding such that .

For an ordinal , a cardinal is said to be –**strong** if there exists a nontrivial elementary embedding such that , , and . We say that is **strong **if is -strong for every ordinal .

We say that a cardinal is –**supercompact **(for a cardinal ) if there exists a nontrivial elementary embedding such that , , and . We say that is **supercompact** if it is -supercompact for every cardinal .

We see here that we can ask for stronger and stronger large cardinal axioms by asking for elementary embeddings that agree more and more with . So, the natural step was to ask for the embedding to just go straight to . We will now prove Kunen’s inconsistency theorem above using the following characterization of successors of singular cardinals of countable cofinality due to Shelah.

**Theorem **(ZFC; Shelah): Let be a singular cardinal of countable cofinality. Then, there exists a countable set of regular cardinals such that is cofinal in , and, letting denote the ideal of bounded subsets of ,

.

That is, there exists a sequence of functions in that is increasing and cofinal in modulo .

The above theorem can be found as an exercise in Abraham and Magidor’s chapter in the Handbook of Set Theory. I’ll probably type out the proof in full at some point just for the sake of completeness, but the focus here is not on pcf theory. I will now give Zapletal’s proof of Kunen’s theorem.

Suppose the theorem is false. That is, there exists a nontrivial elementary embedding , and let , the critical point of . Now define a sequence by , and . Of course, by elementarity, this sequence is strictly increasing, and each is a cardinal in . Let , and note that is a singular cardinal of countable cofinality. Since is continuous at ordinals of cofinality , we see that , and by elementarily . In fact, it is straightforward to check that is the first fixed point of above .

Using the above theorem, fix a sequence of regular cardinals cofinal in such that

Again, here denotes the ideal of bounded subsets of . We may assume, without loss of generality, that for each . Let be -increasing and cofinal in . By elementarity, is cofinal and increasing in modulo the ideal of bounded subsets. Define by . Since is regular for each , and , it follows that (here we use that is the first fixed point of above ).

Now, let , and note that dominates everywhere by definition. We also note that by elementarity, is cofinal in . Thus, we also see that is cofinal in , and therefore cofinal in modulo the ideal of bounded subsets of . But, , and thus it follows that dominates each everywhere, contradicting that is cofinal in .