基数特征与预言机高阶性质之间的类比
逻辑
2014-09-26 v2
摘要
我们提出了集合论中的基数特征与可计算性理论中的高阶性质之间的类比，后者指明了 Turing 预言机在计算上强大的某种意义。虽然这一类比最初由 Rupprecht 在其博士论文中进行了明确研究，但许多先前的结果也可以从这一视角来审视。在对 Cichon 图解中特征的类比进行全面综述之后，我们将其推广至 Kurtz 随机性及 Specker-Eda 数的类比。
引用
@article{arxiv.1404.2839,
title = {An analogy between cardinal characteristics and highness properties of oracles},
author = {Jörg Brendle and Andrew Brooke-Taylor and Keng Meng Ng and André Nies},
journal= {arXiv preprint arXiv:1404.2839},
year = {2014}
}
备注
28 pages; version 2 post refereeing, in particular with due credit to Rupprecht for results from his thesis of which we were previously unaware