编号与随机性
逻辑
2014-08-12 v1
摘要
我们证明了关于与算法随机性相关的族的有效编号和 Friedberg 编号的若干结果。所有 Martin-L"of 随机左可计算枚举实数的族具有 Friedberg 编号，所有正测度的 类的族也是如此。另一方面，包含在 Martin-L"of 随机实数中的 类甚至没有有效编号，满足固定随机性常数的左 c.e. 实数也没有。对于包含在满足固定随机性常数的实数类中的 类，我们证明了至少存在一个有效编号。
引用
@article{arxiv.1408.2169,
title = {Numberings and randomness},
author = {Katie Brodhead and Bjørn Kjos-Hanssen},
journal= {arXiv preprint arXiv:1408.2169},
year = {2014}
}
备注
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-03073-4_6