A model of ZF with an infinite free complete Boolean algebra
By a theorem of Gaifman and Hales no model of ZF+AC (Zermelo-Fraenkel set theory plus the axiom of choice) contains an infinite free complete Boolean algebra. We construct a model of ZF in which an infinite free c.B.a. exists.
© The Weizmann Science Press of Israel 1975