Zero Sharp - Definition

Definition

Zero sharp was defined by Silver and Solovay as follows. Consider the language of set theory with extra constant symbols c1, c2, ... for each positive integer. Then 0# is defined to be the set of Gödel numbers of the true sentences about the constructible universe, with ci interpreted as the uncountable cardinal ℵi. (Here ℵi means ℵi in the full universe, not the constructible universe.)

There is a subtlety about this definition: by Tarski's undefinability theorem it is not in general possible to define the truth of a formula of set theory in the language of set theory. To solve this, Silver and Solovay assumed the existence of a suitable large cardinal, such as a Ramsey cardinal, and showed that with this extra assumption it is possible to define the truth of statements about the constructible universe. More generally, the definition of 0# works provided that there is an uncountable set of indiscernibles for some Lα, and the phrase "0# exists" is used as a shorthand way of saying this.

There are several minor variations of the definition of 0#, which make no significant difference to its properties. There are many different choices of Gödel numbering, and 0# depends on this choice. Instead of being considered as a subset of the natural numbers, it is also possible to encode 0# as a subset of formulae of a language, or as a subset of the hereditarily finite sets, or as a real number.

Read more about this topic:  Zero Sharp

Famous quotes containing the word definition:

    “The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
    —William James (1842–1910)

    “It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
    —Jane Adams (20th century)

    “Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
    —Nadine Gordimer (b. 1923)