Quoting English Wikipedia: 'a theorem of Graham Higman states that a finitely generated group has a recursive presentation if and only if it can be embedded in a finitely presented group'.
I'd like to ask if there is any nice criterion to characterize groups that can be embedded just in a finitely generated group?