The equivalence of Boolean prime ideal theorem and a theorem of functional analysis
Volume 84 / 1974
Fundamenta Mathematicae 84 (1974), 81-86
DOI: 10.4064/fm-84-2-81-86