Postulates for Boolean algebras and generalized Boolean algebras. (Q2614115)

Eine \textit{Boole}sche Algebra entsteht aus einem Ring, der aus lauter idempotenten Elementen besteht, wenn die Addition \(A + B\) zweier Elemente \(A\), \(B\) des Ringes durch eine andere Art der Verknüpfung ersetzt wird, welche durch die Gleichung \(A \vee B = A + B + AB\) definiert ist. Ein Beispiel für einen Ring aus lauter idempotenten Elementen ist das System \(\mathfrak{S}\) aller Untermengen einer festen Menge \(M\), falls unter dem Produkt zweier Teilmengen \(A\), \(B\) von \(M\) der Durchschnitt, unter der Summe \(A + B\) die sogenannte ``symmetrische Differenz'', d. h. die Gesamtheit aller Elemente von \(M\) verstanden wird, die entweder zu \(A\) oder zu \(B\), aber nicht zu \(A\) und \(B\) gehören; in der aus dem Ring \(\mathfrak{S}\) entstehenden \textit{Boole}schen Algebra ist dann die Verknüpfung \(A \vee B = A + B + AB\) die Bildung der Vereinigungsmenge. Verf. stellt ein neues System voneinander unabhängiger Axiome für \textit{Boole}sche Algebren auf, das er denen anderer Autoren (\textit{Huntington} und \textit{Del Re}) gegenüberstellt. Im ersten Teil werden die \textit{Boole}schen Algebren mit Eins-, im zweiten Teil auch solche ohne Einselement ausführlich durchdiskutiert. (III 5 B.)