The full basis theorem does not imply analytic wellordering
classification
🧮 math.LO
keywords
analyticallydefinablebasisfulllightfacetheoremwellorderinganalytic
pith:H5ODAHWW Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{H5ODAHWW}
Prints a linked pith:H5ODAHWW 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 make use of a finite support product of $\omega_1$ clones of the Jensen minimal $\varPi^1_2$ singleton forcing to obtain a model of ZFC in which every non-empty lightface analytically definable set of reals contains a lightface analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the continuum.
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.