The full basis theorem does not imply analytic wellordering |
| |
Authors: | Vladimir Kanovei Vassily Lyubetsky |
| |
Affiliation: | Institute for Information Transmission Problems (Kharkevich Institute) of Russian Academy of Sciences (IITP), Moscow, Bolshoy Karetny per. 19, build. 1, Moscow 127051, Russia |
| |
Abstract: | 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. |
| |
Keywords: | Basis theorem Analytic wellordering Product Jensen's forcing |
本文献已被 ScienceDirect 等数据库收录! |