A proof of Higman’s embedding theorem using Britton extensions of groups, Word problems: decision problems and the Burnside problem (1969)

by St˙al Aanderaa
Venue:in group theory (Conf. on Decision Problems in Group Theory