Past exam of the logic and set theory course of the University of Oxford 2011 B 4 b Solution 2026-10-31
Let and . Clearly . For the reverse bound, let be the usual Cantor set, of cardinality . It is closed with empty interior, so is dense. The mapis injective, because . Applying the Cantor-Schröder-Bernstein theorem givesOne can see by coding binary sequences as ternary expansions using only digits zero and two, together with the usual . The same fixed works for all subsets. This is the cardinality of the family of dense subsets of the reals.