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/

[1] A. T. Nurtazin, O konstruktivnykh gruppakh, Tezisy 4-i vsesoyuz. konf. matem. logike, Kishinev, 1976 | Zbl

[2] Yu. L. Ershov, Vychislimost i opredelimost, Sibirskaya shkola algebry i logiki, Nauchnaya kniga (NII MIOO NGU), Novosibirsk, 1996 | MR | Zbl

[3] Yu. L. Ershov, S. S. Goncharov, Konstruktivnye modeli, Sibirskaya shkola algebry i logiki, Nauchnaya kniga, Novosibirsk, 1999

[4] J. Barwise, Admissible Sets and Structures, Springer-Verlag, Berlin, 1975 | MR | Zbl

[5] K. J. Devlin, Constructibility, Perspect. math log., Springer-Verlag, Berlin, 1984 | MR | Zbl

[6] J. Barwise, “Back and forth through infmitary logic”, Studies in Model Theory, MAA Stud. Math., 8, ed. M. D. Morley, The Mathematical Association of America, Washington, 1973, 5–34 | MR