A minimal pair in the generic degrees
Logic
2020-04-22 v2
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.
Cite
@article{arxiv.1910.05825,
title = {A minimal pair in the generic degrees},
author = {Denis R. Hirschfeldt},
journal= {arXiv preprint arXiv:1910.05825},
year = {2020}
}