Presentability of groups of Σ-definable permutations over admissible sets

被引：0

作者：

Morozov A.S.

机构：

来源：

Algebra and Logic | 2002年 / 41卷 / 4期

关键词：

Admissible set; Group; Locally countable; Recursively listed; Σ-definability; Σ-definable (-presentable) permutation;

D O I：

10.1023/A:1020108705365

中图分类号：

学科分类号：

摘要：

It is proved that a group of all Σ-permutations of an arbitrary locally countable, recursively listed, admissible set is not Σ-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. © 2002 Plenum Publishing Corporation.

引用

页码：254 / 266

页数：12

共 50 条

[21] DISCRETE SETS DEFINABLE IN STRONG EXPANSIONS OF ORDERED ABELIAN GROUPS
Dolich, Alfred
Goodrick, John
JOURNAL OF SYMBOLIC LOGIC, 2024,
[22] FINITE PRESENTABILITY OF ARITHMETIC GROUPS OVER GLOBAL FUNCTION-FIELDS
BEHR, H
PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 1987, 30 : 23 - 39
[23] Definable Elements of Definable Borel Sets
V. G. Kanovei
V. A. Lyubetsky
Mathematical Notes, 2019, 105 : 684 - 693
[24] Definable Elements of Definable Borel Sets
Kanovei, V. G.
Lyubetsky, V. A.
MATHEMATICAL NOTES, 2019, 105 (5-6) : 684 - 693
[25] SIGMA-DEFINABILITY OVER ADMISSIBLE-SETS
ERSHOV, IL
DOKLADY AKADEMII NAUK SSSR, 1985, 285 (04): : 792 - 795
[26] Topological properties of definable sets in ordered Abelian groups of burden 2
Dolich, Alfred
Goodrick, John
MATHEMATICAL LOGIC QUARTERLY, 2023, 69 (02) : 147 - 164
[27] Definable groups
FINITE STRUCTURES WITH FEW TYPES, 2003, (152): : 110 - 140
[28] Definable quotients of locally definable groups
Eleftheriou, Pantelis E.
Peterzil, Ya'acov
SELECTA MATHEMATICA-NEW SERIES, 2012, 18 (04): : 885 - 903
[29] Definable quotients of locally definable groups
Pantelis E. Eleftheriou
Ya’acov Peterzil
Selecta Mathematica, 2012, 18 : 885 - 903
[30] Radiality of definable sets
Welliaveetil, John
ADVANCES IN MATHEMATICS, 2020, 371

← 1 2 3 4 5 →