FOM: Slight correction to Shipman's posting

[Robert M. Solovay]

I slightly misspoke. V= HOD entails that there is a definable member of
every **definable** class. Hence if V=HOD and there is a real-valued measure
on c, then there is a definable real-valued measure on c.