The full basis theorem does not imply analytic wellordering

Abstract

We make use of a finite support product of ω 1 clones of the Jensen minimal Π 1 2 singleton forcing to define a model 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 lightface analytically definable wellordering of the continuum.