A Universal Axiomatization of Metropolis-Rota Implication Algebras
arXiv:0902.0157
Abstract
We show that the class of Metropolis-Rota implication algebras can be given a universal axiomatization using an operation closely related to composition in oriented matroids. Lastly we describe the role of our new operation in the collapse of an MR-algebra.
14 pages