拓扑沃特猜想的又一个递归论刻画
逻辑
2016-11-01 v2
摘要
我们通过重新审视波兰G-空间中的轨道是博雷尔集这一事实,在ZF中证明了拓扑沃特猜想的一个递归论刻画。
引用
@article{arxiv.1610.04852,
title = {One more recursive-theoretic characterization of the Topological Vaught Conjecture},
author = {Vassilios Gregoriades},
journal= {arXiv preprint arXiv:1610.04852},
year = {2016}
}