Zero sharp
In
mathematical set theory,
0# (zero sharp, also: 0#) is defined to be a particular
real number satisfying certain conditions. The definition is a bit awkward, because there may in fact be
no real number satisfying the conditions. The proposition "0
# exists" is independent of the axioms of
ZFC, and is usually formulated as follows:
- 0# exists iff there exists a non-trivial elementary embedding j : L → L for the Gödel constructible universe L.
If 0
# exists, then 0
# is defined to be the
real number that codes in the canonical way the Gödel numbers of the true formulas about the indiscernibles in
L. Its existence implies that every uncountable cardinal in the set-theoretic universe
V is an indiscernible in
L and satifies all large cardinal axioms that are realized in
L (such as being
totally ineffable).
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, the Covering Lemma holds:
If x is an uncountable set of ordinals, then there is a constructible y ⊃ x such that y has the same cardinality as x.
Existence of zero sharp is equivalent to determinacy of lightface analytic games. In fact, the strategy for a universal lightface analytic game has the same Turing degree as 0#.