In March 2010 we embarked on a large project with many parts: comparing the sizes of infinite sets. This site is a repository for work that the class has done, so that it will all be in one place and everyone can contribute.
The main pages (so far) are:
Sets: A list of sets that we're interested in comparing.
Definitions: The key definitions that are needed in the proofs
General results: Theorems the class has proved that hold for any sets.
Results about specific sets: Theorems the class has proved about particular sets.