Jónsson cardinals are some really strange creatures. They are large cardinals and consistency-wise they lie above , but they don’t have to be strongly inaccessible, or even regular. It turns out that nevertheless computes the successors of all Jónsson cardinals correctly! But before delving into that story, let’s try to understand how these cardinals behave.
A good place to start would probably be to define these odd beasts. As with several of the large cardinals in this domain, several equivalent definitions arise.
Definition. A Jónsson cardinal is a cardinal satisfying one, equivalently all, or the following:
- Any algebra (that is, a structure ) of size has a proper subalgebra of size .
- For any first-order language and any -structure of size there is a proper elementary substructure of size .
- For any predicate , there is an elementary substructure of size and such that .
Here the fourth definition means that given any colouring we can find a subset such that for each — that is, will admit at least one colour when colouring subsets of size of . Jónsson cardinals lie in the “Ramsey-area” of the large cardinal hierarchy:
A quick fun fact we can deduce is that Jónsson cardinals have to be uncountable.
Fun fact. is not Jónsson.
Proof. We’re going to use definition 1 here. Let be defined as . Then is an algebra with no proper infinite subalgebras. QED
We can push this lower bound for the least Jónsson a bit higher:
Proposition (Chang, Rowbottom, Erdös-Hajnal). If isn’t Jónsson then neither is .
Proof. Now we’re using definition 4. Let be colourings witnessing that . Define then a colouring as if and otherwise. We have to show that uses all colours on any , so let be a colour. Pick such that . Then by definition of , there is some such that , as uses all colours. But then . QED
This then means that is now the lowest bound for the least Jónsson. Whether or not it actually is Jónsson, is open. We do have the following results however:
- (Shelah) is not Jónsson.
- (Rowbottom-Devlin) The least Jónsson has either countable cofinality or is weakly inaccessible.
Instead of proving the theorem, let’s try to establish the above position of Jónsson cardinals in the large cardinal hierarchy. Ramsey cardinals are always Jónsson, using definition 4 above, so we’re left to prove that Jónsson cardinals consistency-wise implies that every real has a sharp. But this is again a direct implication: Let be a proper elementary substructure with Jónsson, a real and . Then by elementarity we get that for some real . But since , . Then we have a non-trivial elementary embedding , which is equivalent to by a famous result by Kunen.
In the next post we’ll take a look at how these cardinals are being treated inside the core model .