12.32 (1992)

Prove an analogue of Higman’s theorem for the Burnside variety $\mathfrak{B}_n$ of groups of odd exponent $n \gg 1$, that is, prove that every recursively presented group of exponent $n$ can be embedded in a finitely presented (in $\mathfrak{B}_n$) group of exponent $n$.