RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2002 Volume 41, Number 4, Pages 459–480 (Mi al192)

This article is cited in 2 papers

Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets

A. S. Morozov

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

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.

Keywords: group, $\Sigma$-definable (-presentable) permutation, $\Sigma$-definability, locally countable, recursively listed, admissible set.

UDC: 510.56

Received: 25.10.2000


 English version:
Algebra and Logic, 2002, 41:4, 254–266

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025