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
Volume:
Issue:
     
The Journal
Subscriptions
Editorial Board
Officers
Special Issues
Submission Guidelines
Submission Form
Contacts
Author Index
To Appear
 
ISSN: 0030-8730
Extending Boolean operations

Leon A. Henkin

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

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
Milestones
Received: 2 August 1969
Published: 1 March 1970
Authors
Leon A. Henkin