Определимое счетное множество, не содержащее определимых элементов

Доказана непротиворечивость существования счетного определимого множества вещественных чисел, не содержащего определимых элементов. Модель, где такое множество существует, получена с помощью счетного произведения форсинга Йенсена с конечной поддержкой.
Библиография: 17 названий.