The full basis theorem does not imply analytic wellordering
Logic
2017-02-21 v2
Abstract
We make use of a finite support product of clones of the Jensen minimal 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.
Keywords
Cite
@article{arxiv.1702.03566,
title = {The full basis theorem does not imply analytic wellordering},
author = {Vladimir Kanovei and Vassily Lyubetsky},
journal= {arXiv preprint arXiv:1702.03566},
year = {2017}
}