Showing math.LOShow all
2 papers · 1 filter
math.LO2023
Minimal covers in the Weihrauch degrees
Steffen Lempp, Joseph S. Miller, Arno Pauly +2
In this paper, we study the existence of minimal covers and strong minimal covers in the Weihrauch degrees. We characterize when a problem is a minimal cover or strong minimal…
math.LO2023
Redundancy of information: lowering dimension
Jun Le Goh, Joseph S. Miller, Mariya I. Soskova +1
Let At denote the set of infinite sequences of effective dimension t. We determine both how close and how far an infinite sequence of dimension s can be from one of dimension t, me…