期刊
ARCHIVE FOR MATHEMATICAL LOGIC
卷 62, 期 7-8, 页码 1041-1082出版社
SPRINGER HEIDELBERG
DOI: 10.1007/s00153-023-00880-8
关键词
Wadge degere; Better quasi order; Borel function; Borel code; Veblen function
类别
Louveau showed that the Gamma-code of a Borel set in a Polish space can be obtained from its Borel code in a hyperarithmetical manner, if it belongs to a Borel Wadge class Gamma. We extend this theorem to Borel functions by proving that the Sigma(t)-code of a Borel function on a Polish space can also be found hyperarithmetically relative to its Borel code. Furthermore, we establish extension-type, domination-type, and decomposition-type variants of Louveau's theorem for Borel functions.
Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadgeclass Gamma, then its Gamma-code can be obtained from its Borel code in a hyperarithmetical manner. We extend Louveau's theorem to Borel functions: If a Borel function on a Polishspace happens to be a Sigma(t)(sic)-function, then one can find its Sigma(t)(sic)-code hyperarithmeticallyrelative to its Borel code. More generally, we prove extension-type, domination-type,and decomposition-type variants of Louveau's theorem for Borel functions.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据