Borel-piecewise continuous reducibility for uniformization problems
Abstract
We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_\delta$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to the notion of $G_\delta$-piecewise continuity, and then we utilize this connection to obtain separation results on subclasses of $G_\delta$-piecewise continuous reductions for uniformization problems on set-valued functions with compact graphs. This method is also applicable for separating various non-constructive principles in the Weihrauch lattice.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2016
- DOI:
- 10.48550/arXiv.1608.03269
- arXiv:
- arXiv:1608.03269
- Bibcode:
- 2016arXiv160803269K
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Logic in Computer Science
- E-Print:
- Logical Methods in Computer Science, Volume 12, Issue 4 (April 27, 2017) lmcs:2173