Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
431376 | The Journal of Logic and Algebraic Programming | 2010 | 11 Pages |
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