A model of ZF with an infinite free complete Boolean algebra

  title={A model of ZF with an infinite free complete Boolean algebra},
  author={J. Stavi},
  journal={Israel Journal of Mathematics},
  • J. Stavi
  • Published 1975
  • Mathematics
  • Israel Journal of Mathematics
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. 


On the non-existence of free complete Boolean algebras
Rieger asked in 1951 if there exists a free complete Boolean algebra on ω complete generators. Crawley and Dean proved in 1955 that there does not exist a free complete lattice on three completeExpand
On strongly and weakly defined boolean terms
A problem of Gaifman about strongly and weakly defined Boolean terms is solved by finding a Boolean algebra ℱ with a complete subalgebra ℰ such that some element of ℱ not in ℰ can be obtained fromExpand
Extensions of Kripke's embedding theorem
Abstract Kripke's theorem on the embeddability of every Boolean algebra in a countably generated one is proved anew, supplemented by exact cardinality estimates and generalized to equational andExpand
New proof of a theorem of Gaifman and Hales
The sets U{n, ƒ) for n <co form a neighborhood basis of ƒ. Let (B be the algebra of regular open sets of X. (An open set U is regular if £/=int(cl U): Here int E is the interior of E and cl E is theExpand
Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas
This work will assume the informal axioms of Zermelo-Fraenkel set theory with the axiom of choice, and will show that an La, formula is consistent in 93 iff it is satisfiable in some Boolean model. Expand
About the Axiom of Choice
Publisher Summary The axiom of choice is crucial not only in logic (set theory and model theory) but also in other modern disciplines as well such as point set topology, algebra, functional analysis,Expand
A hierarchy of formulas in set theory
Infinite Boolean polynomials I