A model of ZF with an infinite free complete Boolean algebra

DOI10.1007/BF02757883zbMath0316.02064WikidataQ56037894 ScholiaQ56037894MaRDI QIDQ1221110

Jonathan Stavi

Publication date: 1975

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30)

Cites Work

• Unnamed Item
• On strongly and weakly defined Boolean terms
• Extensions of Kripke's embedding theorem
• Infinite Boolean polynomials I
• New proof of a theorem of Gaifman and Hales
• An extension of a theorem of Gaifman-Hales-Solvay
• A hierarchy of formulas in set theory
• Incompleteness of a formal system for infinitary finite-quantifier formulas
• On the non-existence of free complete Boolean algebras
• The axiom of choice