FOM: Slight correction to Shipman's posting

Robert M. Solovay solovay at
Wed Feb 23 17:49:59 EST 2000

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.

More information about the FOM mailing list