中文

拓扑沃特猜想的又一个递归论刻画

逻辑 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}
}