论强极小对的存在性
逻辑
2016-10-13 v1
摘要
我们证明在可计算枚举 Turing 度中存在一个强极小对。
引用
@article{arxiv.1610.03591,
title = {On the existence of a strong minimal pair},
author = {George Barmpalias and Mingzhong Cai and Steffen Lempp and Theodore A. Slaman},
journal= {arXiv preprint arXiv:1610.03591},
year = {2016}
}