A minimal pair in the generic degrees

JOURNAL OF SYMBOLIC LOGIC(2019)

引用 2|浏览1
暂无评分
摘要
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.
更多
查看译文
关键词
generic computability, generic reducibility, minimal pairs
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要