4 problems
Compactness conjecture. Every Nyikos inverse topological semigroup is compact.
Conjugacy-class cardinality conjecture. The conjugacy class of has
The Tarski alternative. Exactly one of the following is true:
Finite-order injectivity conjecture. Then