Geodesic
Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets
Algebra i logika, Tome 41 (2002) no. 4, pp. 459-480

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Mots-clés : group, admissible set.
Keywords: $\Sigma$-definable (-presentable) permutation, $\Sigma$-definability, locally countable, recursively listed 
@article{AL_2002_41_4_a3,
     author = {A. S. Morozov},
     title = {Presentability {of~Groups} of $\Sigma${-Definable} {Permutations} over {Admissible} {Sets}},
     journal = {Algebra i logika},
     pages = {459--480},
     publisher = {mathdoc},
     volume = {41},
     number = {4},
     year = {2002},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2002_41_4_a3/}
}
TY  - JOUR
AU  - A. S. Morozov
TI  - Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets
JO  - Algebra i logika
PY  - 2002
SP  - 459
EP  - 480
VL  - 41
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2002_41_4_a3/
LA  - ru
ID  - AL_2002_41_4_a3
ER  - 
%0 Journal Article
%A A. S. Morozov
%T Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets
%J Algebra i logika
%D 2002
%P 459-480
%V 41
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2002_41_4_a3/
%G ru
%F AL_2002_41_4_a3
A. S. Morozov. Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets. Algebra i logika, Tome 41 (2002) no. 4, pp. 459-480. http://geodesic.mathdoc.fr/item/AL_2002_41_4_a3/