Israel Journal of Mathematics

, Volume 20, Issue 2, pp 149-163

First online:

A model of ZF with an infinite free complete Boolean algebra

  • Jonathan StaviAffiliated withThe Hebrew University of JerusalemStanford University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.