# Tag Info

This is consistent. Kanovei constructed a model $M$ with an infinite Dedekind finite set of reals which is lightface projectively definable. By descending to $L(R),$ we can further assume it satisfies $V=L(R).$ Clearly choice fails in this model. Since it satisfies $V=L(R),$ every set is definable from an ordinal and a real. Of course, any ordinal is ...