Relationship To The Analytical Hierarchy
There is a close relationship between the relativized analytical hierarchy on subsets of Baire space and the projective hierarchy on subsets of Baire space. Not every subset of Baire space is . It is true, however, that if a subset X of Baire space is then there is a set of natural numbers A such that X is . A similar statement holds for sets. Thus the sets classified by the projective hierarchy are exactly the sets classified by the relativized version of the analytical hierarchy. This relationship is important in effective descriptive set theory.
A similar relationship between the projective hierarchy and the relativized analytical hierarchy holds for subsets of Cantor space and, more generally, subsets of any effective Polish space.
Read more about this topic: Projective Hierarchy
Famous quotes containing the words relationship, analytical and/or hierarchy:
“The relationship between mother and professional has not been a partnership in which both work together on behalf of the child, in which the expert helps the mother achieve her own goals for her child. Instead, professionals often behave as if they alone are advocates for the child; as if they are the guardians of the child’s needs; as if the mother left to her own devices will surely damage the child and only the professional can rescue him.”
—Elaine Heffner (20th century)
“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 a hierarchy every employee tends to rise to his level of incompetence.”
—Laurence J. Peter (1919–1990)