The equivalence of Boolean prime ideal theorem and a theorem of functional analysis

From MaRDI portal
Publication:4047593