2 citations · 2 across the 3 of their papers we have counts for
3 papers
math.LO2023★ 2 cited
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…
math.LO2015
Generics for Mathias forcing over general Turing ideals
Peter A. Cholak, Damir D. Dzhafarov, Mariya I. Soskova
In Mathias forcing, conditions are pairs of sets of natural numbers, in which is finite, is infinite, and . The Turing degrees and computational ch…