The Axiom of Choice for Finite Sets
January 7, 2012 Leave a comment
Define Cn as the statement that every set (irrespective of cardinality) with all elements of cardinality n has a choice function. One fact is that C2 implies C4.
This document explores these implications.
