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 and/or meaning:
“The superman is the meaning of the earth. Let your will say: the superman is to be the meaning of the earth! I beseech you, my brothers, be true to the earth, and do not believe those who speak to you of otherworldly hopes! They are poisoners, whether they know it or not.”
—Friedrich Nietzsche (1844–1900)
“A route differs from a road not only because it is solely intended for vehicles, but also because it is merely a line that connects one point with another. A route has no meaning in itself; its meaning derives entirely from the two points that it connects. A road is a tribute to space. Every stretch of road has meaning in itself and invites us to stop. A route is the triumphant devaluation of space, which thanks to it has been reduced to a mere obstacle to human movement and a waste of time.”
—Milan Kundera (b. 1929)