A countable definable set containing no definable elements
- Autores: Kanovei V.G.1,2, Lyubetsky V.A.1
-
Afiliações:
- Kharkevich Institute for Information Transmission Problems (IITP) of the Russian Academy of Sciences
- Moscow State University of Railway Engineering (MIIT)
- Edição: Volume 102, Nº 3-4 (2017)
- Páginas: 338-349
- Seção: Article
- URL: https://journals.rcsi.science/0001-4346/article/view/150105
- DOI: https://doi.org/10.1134/S0001434617090048
- ID: 150105
Citar
Resumo
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.
Palavras-chave
Sobre autores
V. Kanovei
Kharkevich Institute for Information Transmission Problems (IITP) of the Russian Academy of Sciences; Moscow State University of Railway Engineering (MIIT)
Autor responsável pela correspondência
Email: kanovei@iitp.ru
Rússia, Moscow; Moscow
V. Lyubetsky
Kharkevich Institute for Information Transmission Problems (IITP) of the Russian Academy of Sciences
Email: kanovei@iitp.ru
Rússia, Moscow
Arquivos suplementares
