Constructing punctually categorical semigroups (Q828124): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10469-020-09614-8 / rank
Normal rank
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10469-020-09614-8 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W3106851417 / rank
 
Normal rank
Property / cites work
 
Property / cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic structures computable without delay / rank
 
Normal rank
Property / cites work
 
Property / cites work: The diversity of categoricity without delay / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structures computable in polynomial time. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Structures computable in polynomial time. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categoricity for primitive recursive and polynomial Boolean algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Primitive recursive fields and categoricity / rank
 
Normal 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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references