Help


from Wikipedia
« »  
Other choice axioms weaker than axiom of choice include the Boolean prime ideal theorem and the axiom of uniformization.
The former is equivalent in ZF to the existence of an ultrafilter containing each given filter, proved by Tarski in 1930.

2.205 seconds.