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.