Normal Jonsson theories and their Kaiser classes

BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2025

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.31489/2025m1/199-210
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

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.