PA RELATIVE TO AN ENUMERATION ORACLE

PA RELATIVE TO AN ENUMERATION ORACLE
复制标题

PA 相对于枚举预言机

DOI:
10.1017/jsl.2022.55
复制
发表时间:
2022
期刊:
The Journal of Symbolic Logic
影响因子:
--
通讯作者:
SOSKOVA, MARIYA I.
SOSKOVA, MARIYA I.
中科院分区:
--
文献类型:
--
作者:
GOH, JUN LE;KALIMULLIN, ISKANDER SH.;MILLER, JOSEPH S.;SOSKOVA, MARIYA I.

文献摘要

参考文献

相似文献

回想一下,如果B计算每个非空类(分隔类)的成员,则B相对于A是PA。这三个类可以被看作是我们的三个类的直接类似物。我们完全确定了所讨论的所有类的相对位置。
Recall that B is PA relative to A if B computes a member of every nonempty classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question.
将定理嵌入到部分度的可约性排序中。
DOI: --
发表时间: 1971
期刊:
影响因子: --
作者:
J. Lagemann
通讯作者: J. Lagemann
偏度和密度问题第 2 部分:Σ2 集合的枚举度是稠密的。
DOI: --
发表时间: 1984
期刊: Journal of Symbolic Logic (JSL)
影响因子: --
作者:
S. Cooper
通讯作者: S. Cooper
Martin-Löf 随机性和 Galton-Watson 过程
DOI: --
发表时间: 2012
影响因子: 0.8
作者:
David Diamondstone;B. Kjos
通讯作者: B. Kjos
DOI: --
发表时间: 1971
期刊:
影响因子: --
作者:
A. Selman
通讯作者: A. Selman
DOI: --
发表时间: 2017
期刊:
影响因子: --
作者:
Ethan McCarthy
通讯作者: Ethan McCarthy