On Kaiser class of unars in expanded signature

2026

Полный текст Открытый доступ: Gold Метаданные (CSL-JSON)
DOI 10.32523/2077-9879-2026-17-2-58-69
Достоверность данных 70 средняя
Как считается эта оценка

Складывается из проверяемых признаков самой записи: есть ли у статьи DOI, сколько независимых источников подтвердили её данные, заполнены ли обязательные поля и насколько свежо последнее подтверждение. Снижают оценку расхождения между источниками и отсутствие идентификатора. Значение от 80 означает, что запись опубликована без дополнительной проверки; от 60 до 79 — что она опубликована с пониженной достоверностью и ручная проверка желательна. Запись, выверенную редактором вручную, пересчёт не опускает ниже 90. Это оценка наших данных о статье, а не оценка самой статьи.

Аннотация

The present paper is connected with studying properties of Jonsson theories of a unar. The main idea is to study a structure of the signature with one unary functional symbol by expanding it with both a new constant symbol and a unary predicate symbol. We construct the semantic Jonsson quasivariety using the semantic models of enriched Jonsson primitives of unars and consider its Jonsson spectrum, divided by cosemanticness relation onto factor-set, and the obtained factor-set is divided by a new equivalence relation with regard to the Kaiser class. Additionally, we consider the notion of normal Jonsson theory and prove that the theory of all unars is normal, and obtain new results concerning components of unars and the Kaiser class of their theories.