V. G. Kanovei, V. A. Lyubetskii, “A Countable Definable Set Containing no Definable Elements”, Mat. Zametki, 2017, Volume 102, Issue 3,Pages <nobr>369

This article is cited in 18 papers

A Countable Definable Set Containing no Definable Elements

V. G. Kanovei^ab, V. A. Lyubetskii^a

^a Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), Moscow
^b Russian University of Transport

Abstract: 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.

Keywords: countable sets, definable elements, Jensen's forcing.

UDC: 510.225+510.223

Received: 16.06.2015
Revised: 14.04.2017

DOI: 10.4213/mzm10842