2 problems

Let $G$ be a group acting strongly transitively on a totally ordered set $X$ by order-preserving bijections. Amenability conjecture. There exists an amenable group $G$ admitting su…

Closed-upper-set characterization. An upper set $Z$ of $\Lambda^{\ast}$ is closed if and only if it satisfies the four rules.