English

Three topological reducibilities for discontinuous functions

Logic 2019-06-19 v1

Abstract

We define a family of three related reducibilities, T\leq_T, tt\leq_{tt} and m\leq_m, for arbitrary functions f,g:XRf,g:X\rightarrow\mathbb R, where XX is a compact separable metric space. The T\equiv_T-equivalence classes mostly coincide with the proper Baire classes. We show that certain α\alpha-jump functions jα:2ωRj_\alpha:2^\omega\rightarrow \mathbb R are m\leq_m-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to tt\leq_{tt} and m\leq_m, finding an exact match to the α\alpha hierarchy introduced by Bourgain and analyzed by Kechris and Louveau.

Keywords

Cite

@article{arxiv.1906.07600,
  title  = {Three topological reducibilities for discontinuous functions},
  author = {Adam R. Day and Rod Downey and Linda Brown Westrick},
  journal= {arXiv preprint arXiv:1906.07600},
  year   = {2019}
}

Comments

36 pages

R2 v1 2026-06-23T09:56:58.615Z