pith. sign in

arxiv: 1712.00769 · v3 · pith:7SRJ5ZFGnew · submitted 2017-12-03 · 🧮 math.LO

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy

classification 🧮 math.LO
keywords countablecross-sectionssetsgivenlevelmathbbmodelplanar
0
0 comments X p. Extension
pith:7SRJ5ZFG Add to your LaTeX paper What is a Pith Number?
\usepackage{pith}
\pithnumber{7SRJ5ZFG}

Prints a linked pith:7SRJ5ZFG badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.