On the Kaiser Class of a Jonsson Theory

2025

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

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

Аннотация

This work introduces new tools to extend the research framework for Jonsson theories, which form a special subclass of inductive theories. Specifically, we introduce the concept of the Kaiser class and define a new equivalence relation for the study of Jonsson theories, which refines the relation of cosemanticness of the theories. This paper presents an analysis of the main properties of the Kaiser class and KT-equivalent Jonsson theories, addresses the axiomatization of the Kaiser class, and formulates criteria for the perfectness of a Jonsson theory and the cl-normality of a perfect Jonsson theory. Furthermore, we thoroughly examine the algebraic structure of the cosemanticness class of a given Jonsson theory, demonstrate that a distributive lattice can be introduced on this class, and construct specialized sublattices of this lattice. The results obtained can be applied in the study of Jonsson theories and model-theoretic questions with the application of the methods of lattice theory and Universal Algebra.