I want to use this post to once and for all clear up any confusion I might have about what could be called the guessing principles of set theory. A secondary goal is to finally be able to claim that I have used the unique and amusing notation related to these principles.
I will restrict my attention to ; all of the principles generalize to larger cardinals (and restrict to stationary subsets etc.), but this basic case should be enough for an illustration.
So let’s start. I should first explain what I meant by “guessing principles”. Another fitting name would be “anticipatory principles”. Imagine a situation where one is performing an inductive construction of length , with the goal being that the final object will satisfy some universal property. A reasonable strategy is then to diagonalize against all possible counterexamples while performing the construction. However, it might happen that there are simply too many possible counterexamples to deal with in many steps. Nevertheless, it is often the case that we do not in fact need the entire putative counterexample to prevent it becoming a true counterexample, but only some small fragment of it. If we can additionally ensure that these are never resurrected as possible counterexamples, our plan will go through. The only missing part is a coherent way of producing the fragments of possible counterexamples and here is where guessing principles come in.
The simplest guessing principle is (called the stick principle). A -sequence is a sequence of infinite subsets of such that every uncountable contains some . We say that holds if there is a -sequence.
It is easily seen that CH implies . Indeed, CH implies that there are only many countable subsets of , so all of these can be taken for our -sequence. On the other hand, implies (the hypothesis here can be considerably weakened). To see this, let be a sequence of infinite subsets of and consider the poset , seen as adding a subset of . For any given it is dense in this poset that is not contained in the generic object and thus, by , the sequence of the fails to be a -sequence.
A stronger guessing principle is (called the club principle). A -sequence is a sequence of sets , indexed by limit ordinals , such that is a cofinal subset of and each uncountable subset of contains some . We say that holds if there is a -sequence.
Of course, implies . On the other hand, since both and are consistent (as shown by Jensen and Shelah, respectively), is in fact strictly weaker than .
We can, without too much effort, extract an apparently stronger formulation of . The claim is that a -sequence actually gets into any uncountable subset of stationarily often. To see this, let be uncountable and be club. By thinning out if necessary, we can assume that any limit point of is also a limit point of , and is thus in . Since the form a -sequence, we have for some . But then is a limit point of and is in .
The third and most renowned guessing principle is (the diamond principle). A -sequence is a sequence of sets such that and for each we have for stationarily many . We say that holds if there is a -sequence.
It is not difficult to see that implies . In fact, these two principles are equivalent in the presence of CH. To see this, we let be an enumeration of all countable subsets of with cofinal repetition and define , where is an element of the -sequence. One can then show fairly easily that the form a -sequence.
There is a multitude of variations of , where one is either allowed countably many guesses at each stage, or one attempts to guess club often or even guess club often while simultaneously guessing the club itself, but I think this short description will suffice for now.