Abstract:
It is proved that a group of all $\Sigma$-permutations of an arbitrary locally countable, recursively listed, admissible set is not $\Sigma$-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.