Horst Herrlich The axiom of choice holds iff maximal closed filters exist. 323-324 2003 49 Math. Log. Q. 3 http://dx.doi.org/10.1002/malq.200310033 db/journals/mlq/mlq49.html#Herrlich03