Robbins Algebras Are Boolean: A Revision
β
Bernd I Dahn
π
Article
π
1998
π
Elsevier Science
π
English
β 91 KB
In the early 1930s, Robbins asked whether a certain equation together with commutativity and associativity of the union operation was sufficient to characterize Boolean algebras. In 1992, Winker reduced this to the problem of proving the solvability of another equation from Robbins' axioms. In Octob