A MINIMAL PAIR IN THE GENERIC DEGREES
DENIS R. HIRSCHFELDT · Journal of Symbolic Logic · 2019
Abstract We show that there is a minimal pair in the nonuniform generic degrees, and hence also in the uniform generic degrees. This fact contrasts with Igusa’s result that there are no minimal pairs for relative generic computability and answers a basic structural question mentioned in several papers in the area.