[FOM] question about Boolean algebras
Robert Black
Mongre at gmx.de
Fri May 27 05:03:11 EDT 2005
See Peter T. Johnstone - *Stone Spaces* (CUP 1982), the introductory
section entitled 'Stone's Theorem in historical perspective.'. Tarski
and Lindenbaum proved in 1935 that a boolean algebra is isomorphic to
the algebra of all subsets of some set if and only if it is complete
and atomic.
Robert
>Does any fom-er know the answer to the following historical question?
>
>I would like to know who might have been earlier than Stone ('The
>theory of representations for Boolean algebras', Trans. AMS, 40, 1936, pp.
>37-111) in proving that every finite Boolean algebra is isomorphic to the
>Boolean algebra of all subsets of some set. Theorem 12 of that paper (on
>p.52) is "A finite Boolean ring with at least two elements contains an
>atomic basis S and is therefore isomorphic to the algebra of all
>subclasses of a finite class Sigma in one-to-one correspondence with S."
>(At this point in Stone's paper there is no historical reference that
>would tell the reader whether the result had been established before. So I
>should imagine this was the first proof of the result in question. But I
>would like to verify priority.)
>
>Neil Tennant
>
>_______________________________________________
>FOM mailing list
>FOM at cs.nyu.edu
>http://www.cs.nyu.edu/mailman/listinfo/fom
--
This mail is coming from my gmx address because I am currently off
campus, but you can reply to my usual <Robert.Black at nottingham.ac.uk>
Robert Black
Dept of Philosophy
University of Nottingham
Nottingham NG7 2RD
tel. 0115-951 5845
home tel. 0115-947 5468
[in Berlin: 0(049)30-44 05 69 96]
mobile 0(044)7974 675620
More information about the FOM
mailing list