A model of ZF with an infinite free complete Boolean algebra
- Cite this article as:
- Stavi, J. Israel J. Math. (1975) 20: 149. doi:10.1007/BF02757883
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.