The axiom of choice holds iff maximal closed filters exist

From MaRDI portal
Publication:4808474