Constructing punctually categorical semigroups (Q828124): Difference between revisions
From MaRDI portal
Normalize DOI. |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1007/S10469-020-09614-8 / rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S10469-020-09614-8 / rank | |||
Normal rank |
Latest revision as of 04:21, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Constructing punctually categorical semigroups |
scientific article |
Statements
Constructing punctually categorical semigroups (English)
0 references
8 January 2021
0 references
A finitely generated algebraic structure is \textit{punctual} if all signature operations and predicates are primitive recursive, and its universe coincides with the set of natural numbers. A punctual algebraic structure is \textit{punctually categorical} if it is primitive recursively isomorphic to any of its primitive recursive copies. It is rather difficult to find nontrivial examples of punctually categorical structures in natural algebraic classes, see [\textit{I. Kalimullin} et al., Theor. Comput. Sci. 674, 73--98 (2017; Zbl 1418.03151); \textit{I. Sh. Kalimullin} and \textit{R. Miller}, Algebra Logic 58, No. 1, 95--99 (2019; Zbl 1468.03043); translation from Algebra Logika 58, No. 1, 132--138 (2019)]. In this article, the authors prove that there exists a punctually categorical finitely generated semigroup. They point out that the question remains open whether there exists a punctually categorical semigroup defined by finitely many relations.
0 references
punctual set theory
0 references
primitive recursion
0 references
categorical semigroups
0 references