English

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 n2n\ge2, there exists a non-ROD-uniformizable planar lightface Πn1\varPi^1_n set in R×R\mathbb R\times\mathbb R, whose all vertical cross-sections are countable sets (and in fact Vitali classes), while all planar boldface Σn1\bf\Sigma^1_n sets with countable cross-sections are Δn+11\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.

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