A model of ZF with an infinite free complete Boolean algebra

@article{Stavi1975AMO,
title={A model of ZF with an infinite free complete Boolean algebra},
author={J. Stavi},
journal={Israel Journal of Mathematics},
year={1975},
volume={20},
pages={149-163}
}

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.