Stål Aanderaa

• A proof of Higman's embedding theorem using Britton extensions of groups