A model of ZF with an infinite free complete Boolean algebra
From MaRDI portal
Publication:1221110
DOI10.1007/BF02757883zbMath0316.02064WikidataQ56037894 ScholiaQ56037894MaRDI QIDQ1221110
Publication date: 1975
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
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