2 problems
Barto–Opršal–Pinsker dichotomy conjecture. Exactly one of the following holds:
Let an identity be a formula in the language of a groupoid, and consider the algebra of ultrafilters associated with a compact left topological groupoid. Ultrafilter-stability conj…