This is a corrected version of a Q posted yesterday.

Suppose that $B\ne\varnothing$ is a planar lightface $\varDelta^1_1$ set, such that all its vertical cross-sections $B_x$, $x\in\text{proj}\,B$, are equal modulo countable. Is there a linear lightface $\varDelta^1_1$ set (or weaker, lightface $\varSigma^1_1$ set) $X$, equal modulo countable to all vertical cross-sections of $B$?

Comment. Picking a suitable singleton $\{x_0\}\subset \text{proj}\,B$, we get a required set $X=B_{x_0}$ in $\varDelta^1_1(x_0)$, of course, yet this is short of the parameter-free lightface $\varSigma^1_1$.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Browse other questions tagged or ask your own question.