 This was proved in 1996, so the term "Robbins algebra" is now simply a synonym for "Boolean algebra".In 1933, Edward Huntington proposed a new set of axioms for Boolean algebras, consisting of (1) and (2) above, plus