Vol. 32, No. 3, 1970

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 294: 1
Vol. 293: 1  2
Vol. 292: 1  2
Vol. 291: 1  2
Vol. 290: 1  2
Vol. 289: 1  2
Vol. 288: 1  2
Vol. 287: 1  2
Online Archive
The Journal
Editorial Board
Special Issues
Submission Guidelines
Submission Form
Author Index
To Appear
ISSN: 0030-8730
Extending Boolean operations

Leon A. Henkin

Vol. 32 (1970), No. 3, 723–752

The Stone representation theory provides a canonical method whereby each Boolean algebra A can be embedded isomorphically in a complete, atomistic Boolean algebra A. Jonsson and Tarski have shown how each additive operation (of any number of places) on A can be extended canonically to a completely additive operation on A, in such a way that whenever an equation involving given additive operations holds identically in A, the corresponding equation involving the canonical extensions of those operations will hold identically in A. In this paper we present a generalization of this result.

Mathematical Subject Classification
Primary: 06.60
Received: 2 August 1969
Published: 1 March 1970
Leon A. Henkin