"Banach-Tarski ≦ Hahn-Banach ≦ Ultrafilter Lemma < AC"
までが知られてるらしい。