in ZFC, set of WO reals -- existence provable, ability to exhibit in V<>L unprovable?

Printable View