OD elements of countable OD sets in the Solovay model
Logic
2018-08-16 v2
Abstract
It is true in the Solovay model that every countable ordinal-definable set of sets of reals contains only ordinal-definable elements.
Cite
@article{arxiv.1603.04237,
title = {OD elements of countable OD sets in the Solovay model},
author = {Vladimir Kanovei},
journal= {arXiv preprint arXiv:1603.04237},
year = {2018}
}
Comments
20 pages with index