Normal Jonsson theories and their Kaiser classes

BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2025

Полный текст Открытый доступ: Gold Метаданные (CSL-JSON)
DOI 10.31489/2025m1/199-210
Достоверность данных 70 средняя
Как считается эта оценка

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

Аннотация

We present results concerning new notion connected with the study of Jonsson theories. The new notion is a Kaiser class of models for arbitrary Jonsson theories. All results are obtained within the framework of the normality of the considered Jonsson theory. Additionally, we describe the properties of lattices formed by perfect fragments of a fixed Jonsson theory and their relationship with the #-companion of these fragments. The results we obtained are the model-theoretic properties of the #-companion of a normal perfect Jonsson fragment. Furthermore, we establish necessary and sufficient conditions for a normal Jonsson theory to be perfect, expressed in terms of the lattices of existential formulas.