Structure of The Wadge Hierarchy
Martin and Monk proved in 1973 that AD implies the Wadge order for Baire space is well founded. Hence under AD, the Wadge classes modulo complements form a wellorder. The Wadge rank of a set is the order type of the set of Wadge degrees modulo complements strictly below W. The length of the Wadge hierarchy has been shown to be Θ. Wadge also proved that the length of the Wadge hierarchy restricted to the Borel sets is φω1(1) (or φω1(2) depending on the notation), where φγ is the γth Veblen function to the base ω1 (instead of the usual ω).
As for the Wadge lemma, this holds for any pointclass Γ, assuming the axiom of determinacy. If we associate with each set the collection of all sets strictly below on the Wadge hierarchy, this forms a pointclass. Equivalently, for each ordinal α≤θ the collection Wα of sets which show up before stage α is a pointclass. Conversely, every pointclass is equal to some α. A pointclass is said to be self-dual if it is closed under complementation. It can be shown that Wα is self-dual if and only if α is either 0, an even successor ordinal, or a limit ordinal of countable cofinality.
Read more about this topic: Wadge Hierarchy
Famous quotes containing the words structure of the, structure of, structure and/or hierarchy:
“Women over fifty already form one of the largest groups in the population structure of the western world. As long as they like themselves, they will not be an oppressed minority. In order to like themselves they must reject trivialization by others of who and what they are. A grown woman should not have to masquerade as a girl in order to remain in the land of the living.”
—Germaine Greer (b. 1939)
“What is the structure of government that will best guard against the precipitate counsels and factious combinations for unjust purposes, without a sacrifice of the fundamental principle of republicanism?”
—James Madison (1751–1836)
“The verbal poetical texture of Shakespeare is the greatest the world has known, and is immensely superior to the structure of his plays as plays. With Shakespeare it is the metaphor that is the thing, not the play.”
—Vladimir Nabokov (1899–1977)
“In a hierarchy every employee tends to rise to his level of incompetence.”
—Laurence J. Peter (1919–1990)