The equivalence of Boolean prime ideal theorem and a theorem of functional analysis G. Gardiner — 1974 Fundamenta Mathematicae