长 Borel 层级
逻辑
2007-05-23 v1
摘要
我们证明了，实数上的 Borel 层级长度为 与 ZF 是相对一致的。这蕴含了 具有可数共尾性，因此选择公理在我们的模型中极不成立。类似的论证可以产生 ZF 的模型，在这些模型中 Borel 层级的长度为小于 的任意给定极限序数，例如 或 。Latex2e: 24页加8页附录 最新版本位于: www.math.wisc.edu/~miller
关键词
引用
@article{arxiv.0704.3998,
title = {Long Borel Hierarchies},
author = {Arnold W. Miller},
journal= {arXiv preprint arXiv:0704.3998},
year = {2007}
}