Research output: Contribution to journal › Article › peer-review
On the Wadge reducibility of k-partitions. / Selivanov, Victor L.
In: Journal of Logic and Algebraic Programming, Vol. 79, No. 1, 01.01.2010, p. 92-102.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - On the Wadge reducibility of k-partitions
AU - Selivanov, Victor L.
PY - 2010/1/1
Y1 - 2010/1/1
N2 - 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 mathbfDelta20-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. © 2009 Elsevier Inc. All rights reserved.
AB - 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 mathbfDelta20-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. © 2009 Elsevier Inc. All rights reserved.
KW - Baire domain
KW - Baire space
KW - Discrete weak semilattice
KW - Forest
KW - Homomorphic preorder
KW - k-partition
KW - Wadge reducibility
UR - http://www.scopus.com/inward/record.url?scp=71549141662&partnerID=8YFLogxK
U2 - 10.1016/j.jlap.2009.02.008
DO - 10.1016/j.jlap.2009.02.008
M3 - Article
AN - SCOPUS:71549141662
VL - 79
SP - 92
EP - 102
JO - Journal of Logic and Algebraic Programming
JF - Journal of Logic and Algebraic Programming
SN - 1567-8326
IS - 1
ER -
ID: 127086759