投影层次给定层上具有可数截面的不可一致化集合
逻辑
2018-11-07 v3
摘要
我们给出一个集合论模型，其中对于给定的 ，存在一个不可 ROD 一致化的平面 lightface 集（位于 中），其所有竖直截面均为可数集（事实上为 Vitali 类），而所有具有可数截面的平面 boldface 集都是 -一致化的。因此在该模型中，具有可数截面的集合的 ROD 一致化原则首次恰好在给定投影层上失效。
引用
@article{arxiv.1712.00769,
title = {Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy},
author = {Vladimir Kanovei and Vassily Lyubetsky},
journal= {arXiv preprint arXiv:1712.00769},
year = {2018}
}
备注
A revised version of the originally submitted preprint