4 problems

PSPACE conjecture. The problem is solvable in $\textsc{Pspace}$.

Let $\mathfrak{W}_\bullet$ be the pointed Weihrauch lattice equipped with meet $\sqcap$, product $\times$, and unit $1$, and let the paper's partial axiomatization be given by the…

Let $\mathfrak{W}$ be the Weihrauch lattice equipped with meet $\sqcap$, product $\times$, and unit $1$, and consider the partial axiomatization of inequalities over…

Let $\mathbf{G}$ be a finite group. The equivalence problem asks whether two group expressions determine the same function on $\mathbf{G}$, written $\mathbf{G}\models f\approx g$.…