Meaning of The Notation
The following meanings can be attached to the notation for the arithmetical hierarchy on formulas.
The subscript in the symbols and indicates the number of alternations of blocks of universal and existential number quantifiers that are used in a formula. Moreover, the outermost block is existential in formulas and universal in formulas.
The superscript in the symbols, and indicates the type of the objects being quantified over. Type 0 objects are natural numbers, and objects of type are functions that map the set of objects of type to the natural numbers. Quantification over higher type objects, such as functions from natural numbers to natural numbers, is described by a superscript greater than 0, as in the analytical hierarchy. The superscript 0 indicates quantifiers over numbers, the superscript 1 would indicate quantification over functions from numbers to numbers (type 1 objects), the superscript 2 would correspond to quantification over functions that take a type 1 object and return a number, and so on.
Read more about this topic: Arithmetical Hierarchy
Famous quotes containing the words meaning of the, meaning of and/or meaning:
“I am quite serious when I say that I do not believe there are, on the whole earth besides, so many intensified bores as in these United States. No man can form an adequate idea of the real meaning of the word, without coming here.”
—Charles Dickens (1812–1870)
“The sick are parasites on society. In a certain state it is indecent to go on living. To continue vegetating in cowardly dependence on physicians and machinations once the meaning of life, the right to life, has been lost ought to occasion a deep contempt within society.”
—Friedrich Nietzsche (1844–1900)
“Every time a child organizes and completes a chore, spends some time alone without feeling lonely, loses herself in play for an hour, or refuses to go along with her peers in some activity she feels is wrong, she will be building meaning and a sense of worth for herself and harmony in her family.”
—Barbara Coloroso (20th century)