Provides a complete description of topological many-one degrees for real-valued functions, extends Bourgain rank results to noncompact domains, and proves well-ordering of parallelizable continuous Weihrauch degrees under AD with jump increasing rank by one.
Three topological reducibilities for discontinuous functions
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $\alpha$-jump functions $j_\alpha:2^\omega\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to $\leq_{tt}$ and $\leq_m$, finding an exact match to the $\alpha$ hierarchy introduced by Bourgain and analyzed by Kechris and Louveau.
fields
math.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Topological reducibilities for discontinuous functions and their structures
Provides a complete description of topological many-one degrees for real-valued functions, extends Bourgain rank results to noncompact domains, and proves well-ordering of parallelizable continuous Weihrauch degrees under AD with jump increasing rank by one.