something which might be worth mentioning is that at least some of these consequences of the axiom of choice have been shown to imply the axiom as well tychonoff's theorem for example i'm not sure which other ones do or don't though