12
votes
4answers
889 views

Compactness of the Hilbert cube without the Axiom of Choice

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?
5
votes
2answers
630 views

Cantor Sets Inside Cantor Sets

(Or: "I heard you liked Cantor Sets...") I'm working on a student project, and the following construction came up very naturally: If $C$ is the usual Cantor Set, build a countable union of copies of ...
4
votes
4answers
917 views

What is a reference for profinite sets?

The question is in the title. The motivation behind the question is as follows: there are plenty of references about profinite groups and profinite completions of groups. It seems that their not ...