2 papers
math.GR2025
An explicit algorithm for the Higman Embedding Theorem
V. H. Mikaelian
We propose an algorithm which for any recursive group , given by its effectively enumerable generators and recursively enumerable relations, outputs an explicit embedding of …
math.GR2025
Explicit construction of benign subgroup for Higman's reversing operation
V. H. Mikaelian
For the Higman reversing operation and for a set of integer-valued functions the following has been proved. Let the subgroup be benign in the free…