The statement is:
The proof of the Baire category theorem uses the axiom of choice; in fact, the Baire category theorem is logically equivalent to a weaker version of the axiom of choice called the axiom of dependent choice[?].
The Baire category theorem is used in the proof of the open mapping theorem.
Search Encyclopedia

Featured Article
