1 problem

Provability-completeness conjecture. An inequality $u\leqslant v$ of elements from $\Om AM$ is provable from $\Sigma$ if and only if $\op \Sigma\cl$ satisfies $u\leqslant v$.