[FOM] question about Boolean algebras

Vladimir Komendantsky v.komendantsky at bcri.ucc.ie
Fri May 27 15:23:31 EDT 2005


Hi Neil,

Probably this data may help. In Gaetzer's book General Lattice Theory 
(1978), in II.1, Stone representation theorem (Stone, 1936) is stated in 
the form

(*) "A lattice is Boolean iff it is isomorphic to a field of sets".

It is given as a corollary of a theorem (Birkhoff, 1933; Stone, 1936)

(**) "A lattice is distributive iff it is isomorphic to a ring of sets".

Since a field of sets is such a ring of sets which is closed with 
respect to set-theoretic complement operation, Stone representation 
theorem (*) follows from the latter theorem (**) as a corollary.

Reference: [Birkhoff 1933] On the combination of subalgebras, Proc. 
Cambridge Philos. Soc., 29, 441--464.

I'm reading a translation of Graetzer's book, so statements (*) and (**) 
may be not quite the same as in the English original. But the reference 
should be the same.


Vladimir Komendantsky



More information about the FOM mailing list