A finite support product of ${\omega }_1$ clones of Jensen's minimal ${\Pi }_2^1$ singleton forcing is used to define a model in which any non-empty analytically definable set of reals contains an analytically definable real (the full basis theorem), but there is no analytically definable wellordering of the reals.

中文翻译：

---

全基定理并不意味着解析井然有序

的有限支持产品 ${\omega }_{\mathrm{1个}}$ 詹森最小的克隆 ${\Pi }_2^{\mathrm{1个}}$ 单例强迫用于定义一个模型，其中任何非空的可解析定义的实数集都包含一个可解析定义的实数（全基定理），但没有解析定义的实数的有序性。