Empty intervals in the enumeration degrees

We construct a Π20 enumeration degree which is a strong minimal cover.

► There is a Π20 enumeration degree which is a strong minimal cover.
► This is the best result possible since the Σ20 enumeration degrees are dense.
► A priority proof using doubling requests is used to construct the required sets.