Constructing punctually categorical semigroups (Q828124): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1407512
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Iskander Sh. Kalimullin / rank
 
Normal rank

Revision as of 15:32, 27 February 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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references