In set theory, the diamond principle, is a combinatorial principle introduced by Ronald Jensen that holds in the constructible universe and that implies the continuum hypothesis. Jensen extracted the diamond principle from his proof that the axiom of constructibility implies the existence of a Suslin tree.

Definitions

The diamond principle says that there exists a ; that is, a family of sets for such that for any subset of ω1 the set of with is stationary in .

There are several equivalent forms of the diamond principle. One states that there is a countable collection of subsets of for each countable ordinal such that for any subset of there is a stationary subset of such that for all in we have and . Notice that, a weaken form which states that, there exist sets for such that for any subset of there is at least one infinite with , is equivalent to the Continuum Hypothesis.

More generally, for a given cardinal number and a stationary set , the statement (sometimes written or ) is the statement that there is a sequence such that

• each

• for every , is stationary in

The principle is the same as .

The diamond-plus principle states that there exists a -sequence, in other words a countable collection of subsets of for each countable ordinal α such that for any subset of there is a closed unbounded subset of such that for all in we have and .

Properties and use

implies the existence of Suslin trees, which implies the diamond principle, which implies the continuum hypothesis. The diamond principle does not imply the existence of a Kurepa tree are independent of the axioms of ZFC. Also, the club principle and the continuum hypothesis . However, there exist models of and are not equivalent, rather, .

.

to construct a C*-algebra serving as a counterexample to Naimark's problem.

and stationary subsets, holds in the constructible universe. Shelah. He also showed that the diamond principle solves the Whitehead problem by implying that every Whitehead group is free.

See also

• List of statements independent of ZFC

• Statements true in L

References

Citations