TD 蕴含 CCR
逻辑
2020-12-22 v2
摘要
在假设 的前提下，我们证明图灵决定性()蕴含实数集的可数选择公理()。
引用
@article{arxiv.2012.10003,
title = {TD implies CCR},
author = {Yinhe Peng and Liang Yu},
journal= {arXiv preprint arXiv:2012.10003},
year = {2020}
}