On Robinson spectrum of the semantic Jonsson quasivariety of unars

2023

Толық мәтін Ашық қол жеткізу: Gold Метадеректер (CSL-JSON)
DOI 10.31489/2023m2/169-178
Деректер сенімділігі 70 орташа
Бұл баға қалай есептеледі

Ол жазбаның өзінің тексерілетін белгілерінен құралады: мақаланың DOI-і бар ма, оның деректерін қанша тәуелсіз дереккөз растады, міндетті өрістер толтырылған ба және соңғы растау қаншалықты жаңа. Дереккөздер арасындағы алшақтық пен идентификатордың болмауы бағаны төмендетеді. 80-нен бастап мән жазбаның қосымша тексерусіз жарияланғанын, 60-тан 79-ға дейін — оның сенімділігі төмен күйде жарияланғанын және қолмен тексеру ұсынылатынын білдіреді. Редактор қолмен тексерген жазбаны қайта есептеу 90-нан төмен түсірмейді. Бұл — мақаланың өзіне емес, ол туралы деректерімізге берілген баға.

Аңдатпа

Given article is devoted to the study of semantic Jonsson quasivariety of universal unars of signature containing only unary functional symbol. The first section of the article consists of basic necessary concepts. There were defined new notions of semantic Jonsson quasivariety of Robinson unars JCU, its elementary theory and semantic model. In order to prove the main result of the article, there were considered Robinson spectrum RSp(JCU) and its partition onto equivalence classes [∆] by cosemanticness relation. The characteristic features of such equivalence classes [∆]∈RSp(JCU) were analysed. The main result is the following theorem of the existence of: characteristic for every class [∆] the meaning of which is Robinson theories of unars; class [∆] for any arbitrary characteristic; criteria of equivalence of two classes [∆]1, [∆]2. The obtained results can be useful for continuation of the various Jonsson algebras’ research, particularly semantic Jonsson quasivariety of S-acts over cyclic monoid.