THE concept of HNN-extensions of groups was introduced by Higman, Neumann and Neumann in 1949. HNN-extensions and amalgamated free products have played a crucial role in combinatorial group theory, especially for algorithmic problems. In inverse semigroup theory there are many ways of constructing HNNextension in order to ensure the embeddability of the original inverse semigroup in the new one...
