Wadge Hierarchy and Veblen Hierarchy. Part Ii: Borel Sets of Innnite Rank
نویسنده
چکیده
We consider Borel sets of the form A ! (with usual topology) where cardinality of is less than some uncountable regular cardinal. We obtain a \normal form" of A, by nding a Borel set () such that A and () continuously reduce to each other. We do so by deening Borel operations which are homomorphic to the rst Veblen ordinal functions of base required to compute the Wadge degree of the set A: the ordinal .
منابع مشابه
Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank
We consider Borel sets of finite rank A C A'" where cardinality of A is less than some uncountable regular cardinal K5. We obtain a "normal form" of A, by finding a Borel set Q, such that A and Q continuously reduce to each other. In more technical terms: we define simple Borel operations which are homomorphic to ordinal sum. to multiplication by a countable ordinal, and to ordinal exponentiati...
متن کاملLinear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
For deterministic tree automata, classical hierarchies, like MostowskiRabin (or index) hierarchy, Borel hierarchy, or Wadge hierarchy, are known to be decidable. However, when it comes to non-deterministic tree automata, none of these hierarchies is even close to be understood. Here we make an attempt in paving the way towards a clear understanding of tree automata. We concentrate on the class ...
متن کاملAn upper bound on the complexity of recognizable tree languages
The third author noticed in his 1992 PhD Thesis [Sim92] that every regular tree language of infinite trees is in a class a(Dn(Σ2)) for some natural number n ≥ 1, where a is the game quantifier. We first give a detailed exposition of this result. Next, using an embedding of the Wadge hierarchy of non self-dual Borel subsets of the Cantor space 2 into the class ∆2, and the notions of Wadge degree...
متن کاملComputer science and the fine structure of Borel sets
(I) Wadge de ned a natural re nement of the Borel hierarchy, now called the Wadge hierarchy WH. The fundamental properties of WH follow from the results of Kuratowski, Martin, Wadge and Louveau. We give a transparent restatement and proof of Wadge’s main theorem. Our method is new for it yields a wide and unexpected extension: from Borel sets of reals to a class of natural but non Borel sets of...
متن کاملThe Topological Complexity of Models of the μ-Calculus On The Alternation Free Fragment and Beyond
Recently Murlak and one of the authors have shown that the family of trees recognized by weak alternating automata (or equivalently, the family of tree models of the alternation free fragment of the modal μcalculus) is closed under three set theoretic operations that corresponds to sum, multiplication by ordinals < ωω and pseudo exponentiation with the base ω1 of the Wadge degree. Moreover they...
متن کامل