Winkler Conditions
Conditions arising in the study of the Robbins Equation and its connection with Boolean Algebra. Winklerstudied Boolean conditions (such as idempotence or existence of a zero) which would make a Robbins Algebra becomea Boolean Algebra. Winkler showed that each of the conditions
known as the first and second Winkler conditions, Suffices. A computer proof demonstratedthat every Robbins Algebra satisfies the second Winkler condition, from which it follows immediately that allRobbins Algebras are Boolean.
References
McCune, W. ``Robbins Algebras are Boolean.'' http://www-unix.mcs.anl.gov/~mccune/papers/robbins/. Winkler, S. ``Robbins Algebra: Conditions that Make a Near-Boolean Algebra Boolean.'' J. Automated Reasoning 6, 465-489, 1990. Winkler, S. ``Absorption and Idempotency Criteria for a Problem in Near-Boolean Algebra.'' J. Algebra 153, 414-423, 1992.
- Bumping Algorithm
- Bundle
- Burau Representation
- Burkhardt Quartic
- Burnside Problem
- Burnside's Conjecture
- Burnside's Lemma
- Busemann-Petty Problem
- Busy Beaver
- Small Multiple Method
- Small Number
- Small Retrosnub Icosicosidodecahedron
- Small Rhombicosidodecahedron
- Small Rhombicuboctahedron
- Small Rhombidodecacron
- Small Rhombidodecahedron
- Small Rhombihexacron
- Small Rhombihexahedron
- Small Snub Icosicosidodecahedron
- Small Stellapentakis Dodecahedron
- Small Stellated Dodecahedron
- Small Stellated Triacontahedron
- Small Stellated Truncated Dodecahedron
- Small Triakis Octahedron
- Small Triambic Icosahedron