One more recursive-theoretic characterization of the Topological Vaught Conjecture

arXiv: Logic（2016）

引用 23|浏览0

暂无评分

摘要

We prove in ZF a recursive-theoretic characterization of the Topological Vaught Conjecture by revisiting the fact that orbits in Polish G-spaces are Borel sets.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要