Properties of hybrids of Jonsson theories

Abstract

This work is an introduction to the study of the properties of a new concept, as a hybrid of Jonsson theories. We define the basic concepts and framework for studying the model-theoretic properties of these concepts. The main goal of this paper is to study the model-theoretic properties of companions of hybrids of Jonsson theories. The main objects of study are the Jonsson hybrids and their classes of models. In this paper, the main task is to consider the various links between such theories. In order to understand more deeply these connections and ultimately the connection with the primary theory itself, special algebraic constructions of semantic models of the considered fragments were identified and on this basis hybrids of these fragments were determined. In this paper, such algebraic constructions are called semantic hybrids.