Definable Real Number

Definable Real Number

A real number a is first-order definable in the language of set theory, without parameters, if there is a formula φ in the language of set theory, with one free variable, such that a is the unique real number such that φ(a) holds in the standard model of set theory (see Kunen 1980:153).

For the purposes of this article, such reals will be called simply definable numbers. This should not be understood to be standard terminology.

Note that this definition cannot be expressed in the language of set theory itself.

Read more about Definable Real Number:  General Facts, Notion Does Not Exhaust "unambiguously Described" Numbers, Other Notions of Definability

Famous quotes containing the words real and/or number:

    This is the real creation: not the accident of childbirth, but the miracle of man-birth and woman-birth.
    —D.H. (David Herbert)

    The more elevated a culture, the richer its language. The number of words and their combinations depends directly on a sum of conceptions and ideas; without the latter there can be no understandings, no definitions, and, as a result, no reason to enrich a language.
    Anton Pavlovich Chekhov (1860–1904)