FOM: Boolean algebra vs Boolean ring

Vaughan Pratt pratt at cs.Stanford.EDU
Tue Mar 10 23:39:59 EST 1998

From: Stephen Simpson 3/10/98 6:04PM
>Seriously, my statement about Boolean algebras vs Boolean rings is
>true (for everybody!), and the distinction is useful for all

From: Sikorski, R., "Boolean Algebras", Springer-Verlag, 1960:
>17.1  Every Boolean algebra is a Boolean ring...
>Conversely, every Boolean ring is a Boolean algebra....

>For a start, could you please state your definitions of Boolean ring
>and Boolean algebra?  After you have stated them, I'll compare them
>with definitions that are usual in textbooks.  And we'll try to come to
>some agreement.  After that, we'll examine whether they are isomorphic.

Sikorski (op.cit.):
>A Boolean algebra is a non-empty set with three operations AUB, A^B, -A
>satisfying axioms (A1)-(A5) [omitted here]
>A ring is said to be a Boolean ring provided it contains a unit 1 and
>A.A = A for every A.

From: Colin McLarty 3/10/98 7:48PM
>Now Vaughan, like many other logicians and mathematicians, understands an
>algebraic theory without distinguishing "basic" operations from "derived"
>ones--that is primitive from defined operations. There is nothing arcane
>about this, and on this basis Boolean algebras are exactly the same
>things as Boolean rings.

Vaughan Pratt

More information about the FOM mailing list