Talk:Higman's embedding theorem

Says every countably generated group is a subgroup of a finitely generated group. Whose result is that? Charles Matthews 18:17, 14 October 2007 (UTC)
 * According to SQ universal group, it was proved by HNN in 1949. Algebraist 18:07, 19 December 2007 (UTC)

I can't find the referred book, "Mathematical Logic" by Yuri Manin, anywhere. Who added this reference, and do they know where I could find a copy? Christianp (talk) 09:51, 19 February 2008 (UTC)
 * Try ISBN 0387902430. 70.90.174.101 (talk) 02:22, 14 July 2009 (UTC)