Borel 函数的语法途径：Louveau 定理的一些推广
逻辑
2021-03-05 v1
摘要
Louveau 证明了：若波兰空间中的 Borel 集恰属于某个 Borel Wadge 类 ，则其 -码可由其 Borel 码以超算术方式得到。我们将 Louveau 定理推广至 Borel 函数：若波兰空间上的 Borel 函数恰为 -函数，则相对于其 Borel 码可超算术地有效找到其 -码。更一般地，我们证明了 Borel 函数的 Louveau 定理的扩张型、控制型与分解型变体。
引用
@article{arxiv.2103.02950,
title = {A syntactic approach to Borel functions: Some extensions of Louveau's theorem},
author = {Takayuki Kihara and Kenta Sasaki},
journal= {arXiv preprint arXiv:2103.02950},
year = {2021}
}