Consequences of Existence and Non-existence
Its existence implies that every uncountable cardinal in the set-theoretic universe V is an indiscernible in L and satisfies all large cardinal axioms that are realized in L (such as being totally ineffable). It follows that the existence of 0# contradicts the axiom of constructibility: V = L.
If 0# exists, then it is an example of a non-constuctible Δ1
3 set of integers. This is in some sense the simplest possibility for a non-constructible set, since all Σ1
2 and Π1
2 sets of integers are constructible.
On the other hand, if 0# does not exist, then the constructible universe L is the core model—that is, the canonical inner model that approximates the large cardinal structure of the universe considered. In that case, Jensen's covering lemma holds:
- For every uncountable set x of ordinals there is a constructible y such that x ⊂ y and y has the same cardinality as x.
This deep result is due to Ronald Jensen. Using forcing it is easy to see that the condition that x is uncountable cannot be removed. For example, consider Namba forcing, that preserves and collapses to an ordinal of cofinality . Let be an -sequence cofinal on and generic over L. Then no set in L of L-size smaller than (which is uncountable in V, since is preserved) can cover, since is a regular cardinal.
Read more about this topic: Zero Sharp
Famous quotes containing the words consequences of, consequences and/or existence:
“War is thus divine in itself, since it is a law of the world. War is divine through its consequences of a supernatural nature which are as much general as particular.... War is divine in the mysterious glory that surrounds it and in the no less inexplicable attraction that draws us to it.... War is divine by the manner in which it breaks out.”
—Joseph De Maistre (1753–1821)
“Resistance is feasible even for those who are not heroes by nature, and it is an obligation, I believe, for those who fear the consequences and detest the reality of the attempt to impose American hegemony.”
—Noam Chomsky (b. 1928)
“There surely is a being who presides over the universe; and who, with infinite wisdom and power, has reduced the jarring elements into just order and proportion. Let speculative reasoners dispute, how far this beneficent being extends his care, and whether he prolongs our existence beyond the grave, in order to bestow on virtue its just reward, and render it fully triumphant.”
—David Hume (1711–1776)