Abstract
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 from elements of ℰ by meets and joins in the normal completion of ℱ.
Similar content being viewed by others
References
H. Gaifman,Infinite Boolean polynomials I, Fund. Math.54 (1964), 229–250.
R. Sikorski,Boolean Algebras, 2nd edition, Springer-Verlag, Berlin, 1964.
J. Stavi,On strongly and weakly defined Boolean terms, Notices Amer. Math. Soc.18 (1971), 1107.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Stavi, J. On strongly and weakly defined boolean terms. Israel J. Math. 15, 31–43 (1973). https://doi.org/10.1007/BF02771771
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02771771