关于 Baire 性质的一致性结果
逻辑
2017-07-25 v1
摘要
我们关注的问题是，在假设决定性公理的前提下，通过编码中足够可定义的函数来见证 Borel 集与射影集的 Baire 性质。我们证明，在射影集的情况下，可以使用连续函数对几乎所有编码满足这一要求。我们还表明，即使允许编码中使用更复杂的函数，也不可能将其改进为适用于所有编码。我们还研究了 Borel 层级的中间步骤，并给出了编码中此类函数复杂度的估计，这些函数能够验证所有编码的 Baire 性质。
引用
@article{arxiv.1707.07593,
title = {Uniformity results on the Baire property},
author = {Vassilios Gregoriades},
journal= {arXiv preprint arXiv:1707.07593},
year = {2017}
}
备注
19 pages, preprint