任何FIP实数计算1-泛型
Any FIP real computes a 1-generic
摘要:
我们构造了一个可计算实数序列$\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分析而来,可能存在错误,请以论文正文为准。