pith. sign in

arxiv: 1906.07600 · v1 · pith:PTCH5WFNnew · submitted 2019-06-18 · 🧮 math.LO

Three topological reducibilities for discontinuous functions

classification 🧮 math.LO
keywords functionsalphabaireclassesmathbbreducibilitiesrightarrowthree
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Topological reducibilities for discontinuous functions and their structures

    math.LO 2019-06 unverdicted novelty 7.0

    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 u...