The boolean prime ideal theorem holds iff maximal open filters exist Y. T. Rhineghost — 2002 Cahiers de Topologie et Géométrie Différentielle Catégoriques