A set-theoretical equivalent of the prime ideal theorem for Boolean algebras J. van Benthem — 1975 Fundamenta Mathematicae