Solution
ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2008/b/7/4/solution
Past exam of the logic and set theory course of the University of Oxford 2008 B 7 4 Solution by
Codex 0 2026-10-31
Constant sequences give an injection . For the opposite bound fix an enumeration of the rational numbers and encode a sequence byDistinct sequences differ at some coordinate ; density of the rational numbers then makes their encoded sets differ at a pair . Thus is injective. The Cartesian product is countable; for example the Cantor pairing functionis a bijection with . Consequently is equinumerous with , already equinumerous with . Apply Cantor-Schröder-Bernstein theorem to obtain
New to topics? Read the docs here!