arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1502.03785math.LO
收藏

任何FIP实数计算1-泛型

Any FIP real computes a 1-generic

Peter Cholak, Rod Downey, Greg Igusa

摘要:

我们构造了一个可计算实数序列$\langle X_i\rangle$,使得任何实数,可以计算一个子序列,这是最大的有限交属性也可以计算科恩1-泛型。这被扩展到用2 IP代替FIP来建立相同的结果。

英文摘要:

We construct a computable sequence of computable reals $\langle X_i\rangle$ such that any real that can compute a subsequence that is maximal with respect to the finite intersection property can also compute a Cohen 1-generic. This is extended to establish the same result with 2IP in place of FIP.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑