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:
“All the moral laws are readily translated into natural philosophy, for often we have only to restore the primitive meaning of the words by which they are expressed, or to attend to their literal instead of their metaphorical sense. They are already supernatural philosophy.”
—Henry David Thoreau (1817–1862)
“All the moral laws are readily translated into natural philosophy, for often we have only to restore the primitive meaning of the words by which they are expressed, or to attend to their literal instead of their metaphorical sense. They are already supernatural philosophy.”
—Henry David Thoreau (1817–1862)
“Semantically, taste is rich and confusing, its etymology as odd and interesting as that of “style.” But while style—deriving from the stylus or pointed rod which Roman scribes used to make marks on wax tablets—suggests activity, taste is more passive.... Etymologically, the word we use derives from the Old French, meaning touch or feel, a sense that is preserved in the current Italian word for a keyboard, tastiera.”
—Stephen Bayley, British historian, art critic. “Taste: The Story of an Idea,” Taste: The Secret Meaning of Things, Random House (1991)