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:
“Every expansion of government in business means that government in order to protect itself from the political consequences of its errors and wrongs is driven irresistibly without peace to greater and greater control of the nation’s press and platform. Free speech does not live many hours after free industry and free commerce die.”
—Herbert Hoover (1874–1964)
“If you are prepared to accept the consequences of your dreams ... then you must still regard America today with the same naive enthusiasm as the generations that discovered the New World.”
—Jean Baudrillard (b. 1929)
“Suppose that humans happen to be so constructed that they desire the opportunity for freely undertaken productive work. Suppose that they want to be free from the meddling of technocrats and commissars, bankers and tycoons, mad bombers who engage in psychological tests of will with peasants defending their homes, behavioral scientists who can’t tell a pigeon from a poet, or anyone else who tries to wish freedom and dignity out of existence or beat them into oblivion.”
—Noam Chomsky (b. 1928)