|
This article is cited in 2 scientific papers (total 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.
Received: 25.10.2000
Citation:
A. S. Morozov, “Presentability of Groups of $\Sigma$-Definable Permutations over Admissible Sets”, Algebra Logika, 41:4 (2002), 459–480; Algebra and Logic, 41:4 (2002), 254–266
Linking options:
https://www.mathnet.ru/eng/al192 https://www.mathnet.ru/eng/al/v41/i4/p459
|
Statistics & downloads: |
Abstract page: | 345 | Full-text PDF : | 129 | References: | 44 | First page: | 1 |
|