多项式时间图灵等价的普遍性
逻辑
2016-07-20 v2
摘要
我们证明多项式时间图灵等价以及来自计算复杂性理论的大量其他等价关系是通用可数 Borel 等价关系。随后我们讨论这些等价关系的不变 Borel 集上的超滤器，其关联到 Martin 在图灵度上的超滤器。
引用
@article{arxiv.1601.03343,
title = {The universality of polynomial time Turing equivalence},
author = {Andrew S. Marks},
journal= {arXiv preprint arXiv:1601.03343},
year = {2016}
}
备注
Minor corrections