A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES

Autor:	Iskander Sh. Kalimullin, Hristo Ganchev, Mariya Ivanova Soskova, Joseph S. Miller
Rok vydání:	2020
Předmět:	Combinatorics Philosophy Logic Computer science Enumeration
Zdroj:	The Journal of Symbolic Logic. 87:527-544
ISSN:	1943-5886 0022-4812
DOI:	10.1017/jsl.2019.72
Popis:	We give several new characterizations of the continuous enumeration degrees. The main one proves that an enumeration degree is continuous if and only if it is not half of a nontrivial relativized $\mathcal {K}$ -pair. This leads to a structural dichotomy in the enumeration degrees.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5c0ee054218848608aca4077bac7afce https://doi.org/10.1017/jsl.2019.72 Zobrazit plný text záznamu