Back to Search
Start Over
Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
- Source :
- Fundamenta mathematicae, 2019
- Publication Year :
- 2017
-
Abstract
- We present a model of set theory, in which, for a given $n\ge2$, there exists a non-ROD-uniformizable planar lightface $\varPi^1_n$ set in $\mathbb R\times\mathbb R$, whose all vertical cross-sections are countable sets (and in fact Vitali classes), while all planar boldface $\bf\Sigma^1_n$ sets with countable cross-sections are $\bf\Delta^1_{n+1}$-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.<br />Comment: A revised version of the originally submitted preprint
- Subjects :
- Mathematics - Logic
03E15, 03E35, 03E47
Subjects
Details
- Database :
- arXiv
- Journal :
- Fundamenta mathematicae, 2019
- Publication Type :
- Report
- Accession number :
- edsarx.1712.00769
- Document Type :
- Working Paper
- Full Text :
- https://doi.org/10.1070/IM8521