Presentability of groups of Σ-definable permutations over admissible sets

It is proved that a group of all Σ-permutations of an arbitrary locally countable, recursively listed, admissible set is not Σ-presentable over that set. An example is constructed showing that this group can be presentable provided that the condition of being locally countable is dropped. © 2002 Plenum Publishing Corporation.