Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-4/16j/f/solution

Every real is hereditarily countable, giving . Conversely each HC set is represented by a well-founded extensional relation on a subset of ; there are only such relations. Hence equality.

New to topics? Read the docs here!