关于相对解析与 Borel 子集
逻辑
2007-05-23 v1
摘要
定义 z 为函数 f:X->Y 的最小基数，其中 X 与 Y 为实数集，使得不存在 Borel 函数 g 扩张 f。本文中我们证明：与 ZFC 相对一致地可有 b<z，其中 b 按通常定义为 中无界族的最小基数。这回答了 Zapletal 提出的一个问题。我们还证明：与 ZFC 相对一致地可存在实数集 X 使得 X 的 Borel 序有界，但存在 X 的相对解析子集不是相对余解析的。这回答了 Mauldin 的一个问题。
引用
@article{arxiv.math/0305036,
title = {On relatively analytic and Borel subsets},
author = {Arnold W. Miller},
journal= {arXiv preprint arXiv:math/0305036},
year = {2007}
}
备注
LaTeX2e 10 pages available at http://www.math.wisc.edu/~miller/res/index.html