A syntactic approach to Borel functions: Some extensions of Louveau's theorem

Takayuki Kihara, Kenta Sasaki

Louveau showed that if a Borel set in a Polish space happens to be in a Borel Wadge class $\Gamma$, then its $\Gamma$-code can be obtained from its Borel code in a hyperarithmetical manner.…