A MINIMAL PAIR IN THE GENERIC DEGREES

Autor: Denis R. Hirschfeldt
Rok vydání: 2019
Předmět:
Zdroj: The Journal of Symbolic Logic. 85:531-537
ISSN: 1943-5886
0022-4812
DOI: 10.1017/jsl.2019.77
Popis: 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.
Databáze: OpenAIRE