Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-3/16i/solution
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 16I Solution by
Codex 0 2026-10-03
We prove simultaneously by transfinite induction that every is a transitive set and that . The claims are immediate for . Suppose first that is transitive. If , then , so . Moreover, transitivity says that every satisfies , and henceThus is transitive and . At a limit , if , then for some ; transitivity of gives . The inclusions at successor stages also imply
Finally, the rank of a set is the ordinalEvery belongs to , so . Thereforewhich proves that every set occurs in the hierarchy.
New to topics? Read the docs here!