The consistency of the existence of a countable definable set of reals, containing no definable elements, is established. The model, where such a set exists, is obtained by means of a countable product of Jensen's forcing with finite support.
科研之友
微信
新浪微博
Facebook
分享链接
