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, structure and/or hierarchy:
“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)
“Slumism is the pent-up anger of people living on the outside of affluence. Slumism is decay of structure and deterioration of the human spirit. Slumism is a virus which spreads through the body politic. As other “isms,” it breeds disorder and demagoguery and hate.”
—Hubert H. Humphrey (1911–1978)
“In the world of the celebrity, the hierarchy of publicity has replaced the hierarchy of descent and even of great wealth.”
—C. Wright Mills (1916–1962)