当前位置:
X-MOL 学术
›
Ann. Pure Appl. Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
The full basis theorem does not imply analytic wellordering
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2020-12-08 , DOI: 10.1016/j.apal.2020.102929 Vladimir Kanovei , Vassily Lyubetsky
中文翻译:
全基定理并不意味着解析井然有序
更新日期:2020-12-17
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2020-12-08 , DOI: 10.1016/j.apal.2020.102929 Vladimir Kanovei , Vassily Lyubetsky
A finite support product of clones of Jensen's minimal 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.
中文翻译:
全基定理并不意味着解析井然有序
的有限支持产品 詹森最小的克隆 单例强迫用于定义一个模型,其中任何非空的可解析定义的实数集都包含一个可解析定义的实数(全基定理),但没有解析定义的实数的有序性。