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:
“There is a delicate balance of putting yourself last and not being a doormat and thinking of yourself first and not coming off as selfish, arrogant, or bossy. We spend the majority of our lives attempting to perfect this balance. When we are successful, we have many close, healthy relationships. When we are unsuccessful, we suffer the natural consequences of damaged and sometimes broken relationships. Children are just beginning their journey on this important life lesson.”
—Cindy L. Teachey. “Building Lifelong Relationships—School Age Programs at Work,” Child Care Exchange (January 1994)
“[As teenager], the trauma of near-misses and almost- consequences usually brings us to our senses. We finally come down someplace between our parents’ safety advice, which underestimates our ability, and our own unreasonable disregard for safety, which is our childlike wish for invulnerability. Our definition of acceptable risk becomes a product of our own experience.”
—Roger Gould (20th century)
“It is because everything is relative
That we shall never see in that sphere of pure wisdom and
Entertainment much more than groping shadows of an incomplete
Former existence so close it burns like the mouth that
Closes down over all your effort like the moment
Of death”
—John Ashbery (b. 1927)