On the structure of the Wadge degrees of BQO-valued Borel functions

2017/05/22 by Kihara, Takayuki, Montalbán, Antonio
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1705.07802

Abstract

In this article, we give a full description of the Wadge degrees of Borel functions from ω^ω to a better quasi ordering Q. More precisely, for any countable ordinal ξ, we show that the Wadge degrees of \mathbfΔ⁰_1+ξ-measurable functions ω^ω\toQ can be represented by countable joins of the ξ-th transfinite nests of Q-labeled well-founded trees.

Related

• Wadge-like degrees of Borel bqo-valued functions
• The Wadge order on the Scott domain is not a well-quasi-order
• Bad Wadge-like reducibilities on the Baire space
• A Q-Wadge Hierarchy in Quasi-Polish Spaces
• An Effective Classification of Borel Wadge Classes