Category:Some Choice

This category is for theorems requiring a choice principle weaker than the Axiom of Choice that does not have its own specialized category.