[FOM] Tychonoff/choice

Harvey Friedman friedman at math.ohio-state.edu
Thu Mar 2 02:23:59 EST 2006


It is provable in ZF that the product of any countably infinite sequence of
two point spaces (each with the discrete topology) is compact.

It is not provable in ZF that the product of any countably infinite sequence
of three point spaces (each with the discrete topology) is compact.

Known?

Harvey Friedman 



More information about the FOM mailing list