Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
Logic
2018-11-07 v3
Abstract
We present a model of set theory, in which, for a given , there exists a non-ROD-uniformizable planar lightface set in , whose all vertical cross-sections are countable sets (and in fact Vitali classes), while all planar boldface sets with countable cross-sections are -uniformizable. Thus it is true in this model, that the ROD-uniformization principle for sets with countable cross-sections first fails precisely at a given projective level.
Keywords
Cite
@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}
}
Comments
A revised version of the originally submitted preprint