当前位置: X-MOL 学术J. Symb. Log. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A MINIMAL PAIR IN THE GENERIC DEGREES
The Journal of Symbolic Logic ( IF 0.5 ) Pub Date : 2019-11-12 , DOI: 10.1017/jsl.2019.77
DENIS R. HIRSCHFELDT

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.

中文翻译:

通用学位中的最小对

我们证明了在非均匀通用度中有一个最小对,因此在统一通用度中也是如此。这一事实与 Igusa 的结果形成对比,即相对通用可计算性没有最小对,并回答了该领域几篇论文中提到的基本结构问题。
更新日期:2019-11-12
down
wechat
bug