On the Wadge reducibility of \(k\)-partitions (Q1044675)

Let \(X\) be a topological space and let \(\nu,\mu:X\rightarrow k\) be \(k\)-partitions of \(X\) (\(k\geq 2\)). We say that \(\mu\) is Wadge-reducible to \(\nu\) if \(\mu=\nu\circ f\) for some continuous function \(f\) on \(X\). This notion generalizes the well-known notion of the Wadge reducibility of subsets of \(X\). In the article under review the main attention is paid to the Baire and Cantor spaces, Baire and Cantor domains and their close relatives. In the paper the author extends known results on the difference hierarchy of sets in the Baire and Cantor spaces to the case of \(k\)-partitions. Some facts on the Wadge hierarchy of sets are extended to the case of \(k\)-partitions as well. In particular, the structures of Wadge degreees of \(\Delta_2^0\)-measurable \(k\)-partitions are completely characterized. It is also shown that many natural substructures of the structure of Wadge degrees become undecidable for \(k\geq 3\).