Affiliation:
1. Mathematical Center in Akademgorodok, S.L. Sobolev Institute of Mathematics, 4 Akad. Koptyug av., Novosibirsk 630090, Russia
Abstract
We study the recently suggested effective Wadge hierarchy in effective spaces, concentrating on the non-collapse property. Along with hierarchies of sets, we study hierarchies of k-partitions which are interesting on their own. In particular, we establish sufficient conditions for the non-collapse of the effective Wadge hierarchy and apply them to some concrete spaces, including the discrete space of natural numbers, the Baire space, and the Cantor space. While the latter two cases are obtained by easy effectivization of the corresponding topological result by T. Kihara and A. Montalban, the first case needs a different technique and is certainly the main technical result of this paper.
Subject
Artificial Intelligence,Computational Theory and Mathematics,Computer Science Applications,Theoretical Computer Science
Reference38 articles.
1. S. Abramsky and A. Jung, Domain theory, in: Handbook of Logic in Computer Science, Vol. 3, Oxford, 1994, pp. 1–168.
2. P.E. Alaev and V.L. Selivanov, Complexity issues for the iterated h-preorders, in: DCFS 2021, Y.-S. Han and S.-K. Ko, eds, LNCS, Vol. 13037, 2021, pp. 1–12.
3. Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization;Becher;Mathematical Structures in Computer Science,2015
4. Wadge hardness in Scott spaces and its effectivization;Becher;Mathematical Structures in Computer Science,2015
5. Effective Borel measurability and reducibility of functions;Brattka;Mathematical Logic Quarterly,2005