MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 4 reference-request
show/hide this revision's text 3 add a hyperlink for "Hilbert cube"

I am just curious: is there a published proof of the compactness of the Hilbert cube that does not use the Axiom of Choice, or is it well known?
show/hide this revision's text 2 add tag
show/hide this revision's text 1