[FOM] RE: FOM FTGI Boolean Lattices

[Matt Insall]

Thank you, Vaughan, for the correction.
It is the case that Birkhoff stated and
proved the representation theorem for
Boolean Algebras before Stone's work.
I regret any confusion that this may
have caused.

Matt


++++++++++++++++++Original Message++++++++++++++++

Date: Mon, 28 Apr 2003 01:45:49 -0700
From: Vaughan Pratt <pratt at cs.stanford.edu>
To: fom at cs.nyu.edu
Subject: [FOM] RE: FOM FTGI Boolean Lattices
Message-ID: <200304280845.BAA02453 at coraki.Stanford.EDU>
Content-Type: text/plain; charset=us-ascii
MIME-Version: 1.0
Precedence: list
Message: 5


>From: "Matt Insall" <montez at fidnet.com>
>Theorem:  Any boolean lattice is isomorphic to a boolean sublattice of some
>power set lattice.
>This theorem is Stone's Representation Theorem for boolean lattices,

Actually this is Birkhoff's representation theorem, namely 13.2 on page 444
of

	@Article(
Birk35,	Author="Birkhoff, G.",
	Title="On the structure of abstract algebras",
	Journal="Proc. Cambridge Phil. Soc",
	Volume=31, Pages="433-454", Year=1935)