Let AC denote the Axiom of Choice. Let PP denote the so-called "Partition Principle" which states that "If S is a non-empty set and T is a non-empty set of pairwise disjoint subsets of S, then S can ...
Let $k$ be a field. In 1984 Andreas Blass proved that the axiom "for every extension $K|k$, every vector space over $K$ has a basis" implies the axiom of choice. He also raised the question Does ...