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:
“There is a relationship between cartooning and people like Miró and Picasso which may not be understood by the cartoonist, but it definitely is related even in the early Disney.”
—Roy Lichtenstein (b. 1923)
“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)