The Tarski alternative for Boolean inverse monoids
The Tarski alternative. Exactly one of the following is true:
MathDB