On the Kaiser Class of a Jonsson Theory

2025

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.3390/sym17060870
Data confidence 70 medium
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

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.