[FOM] real line decomposed

Harvey Friedman friedman at math.ohio-state.edu
Mon Aug 24 13:36:22 EDT 2009


There is a very interesting old result of Azriel Levy to the effect that

ZF + "the real line is a countable union of countable sets"

is consistent.

Harvey Friedman


More information about the FOM mailing list