Analytical Hierarchy - The Analytical Hierarchy of Sets of Natural Numbers

The Analytical Hierarchy of Sets of Natural Numbers

A set of natural numbers is assigned the classification if it is definable by a formula. The set is assigned the classification if it is definable by a formula. If the set is both and then it is given the additional classification .

The sets are called hyperarithmetical. An alternate classification of these sets by way of iterated computable functionals is provided by hyperarithmetical theory.

Read more about this topic:  Analytical Hierarchy

Famous quotes containing the words analytical, hierarchy, sets, natural and/or numbers:

    “I have seen too much not to know that the impression of a woman may be more valuable than the conclusion of an analytical reasoner.”
    —Sir Arthur Conan Doyle (1859–1930)

    “In the world of the celebrity, the hierarchy of publicity has replaced the hierarchy of descent and even of great wealth.”
    —C. Wright Mills (1916–1962)

    “Eddie did not die. He is no longer on Channel 4, and our sets are tuned to Channel 4; he’s on Channel 7, but he’s still broadcasting. Physical incarnation is highly overrated; it is one corner of universal possibility.”
    —Marianne Williamson (b. 1953)

    “The urgent consideration of the public safety may undoubtedly authorise the violation of every positive law. How far that or any other consideration may operate to dissolve the natural obligations of humanity and justice, is a doctrine of which I still desire to remain ignorant.”
    —Edward Gibbon (1737–1794)

    “The principle of majority rule is the mildest form in which the force of numbers can be exercised. It is a pacific substitute for civil war in which the opposing armies are counted and the victory is awarded to the larger before any blood is shed. Except in the sacred tests of democracy and in the incantations of the orators, we hardly take the trouble to pretend that the rule of the majority is not at bottom a rule of force.”
    —Walter Lippmann (1889–1974)