A syntactic approach to Borel functions: some extensions of Louveau’s theorem

Archive for Mathematical Logic 62 (7):1041-1082 (2023)
  Copy   BIBTEX

Abstract

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. We extend Louveau’s theorem to Borel functions: If a Borel function on a Polish space happens to be a $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -function, then one can find its $$ \underset{\widetilde{}}{\varvec{\Sigma }}\hbox {}_t$$ -code hyperarithmetically relative to its Borel code. More generally, we prove extension-type, domination-type, and decomposition-type variants of Louveau’s theorem for Borel functions.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2023-06-04

Downloads
17 (#1,196,561)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Quasi-Polish spaces.Matthew de Brecht - 2013 - Annals of Pure and Applied Logic 164 (3):356-381.
A Wadge hierarchy for second countable spaces.Yann Pequignot - 2015 - Archive for Mathematical Logic 54 (5):659-683.
Continuous reducibility and dimension of metric spaces.Philipp Schlicht - 2018 - Archive for Mathematical Logic 57 (3-4):329-359.

View all 10 references / Add more references