Article ID Journal Published Year Pages File Type
431376 The Journal of Logic and Algebraic Programming 2010 11 Pages PDF
Abstract

We establish some results on the Wadge degrees and on the Boolean hierarchy of k-partitions of some spaces, where k is a natural number. The main attention is paid to the Baire space, Baire domain and their close relatives. For the case of -measurable k-partitions the structures of Wadge degrees are characterized completely. For many degree structures, undecidability of the first-order theories is shown, for any k⩾3.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics