含与不含可计算点的可计算闭欧几里得子集
计算机科学中的逻辑
2011-08-04 v5 逻辑
摘要
空集当然不包含可计算点。另一方面,Zaslavskii、Tseitin、Kreisel 和 Lacombe 得出的惊人结果断言存在不含可计算点的非空 co-r.e. 闭集:这些集按正勒贝格测度的意义是“大”的。我们观察到事实上某种大小是必需的:每个不含可计算点的非空 co-r.e. 闭实数集都具有连续统基数。这引导我们去研究各类可计算实数子集是否必然包含一个(未必可有效找到的)可计算点。
关键词
引用
@article{arxiv.cs/0610080,
title = {Computable Closed Euclidean Subsets with and without Computable Points},
author = {Stéphane Le Roux and Martin Ziegler},
journal= {arXiv preprint arXiv:cs/0610080},
year = {2011}
}
备注
Included helpful remarks of J.Miller and of X.Zheng