The hybrids of the ∆ − P J theories

2020

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.31489/2020m2/174-180
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

The hybrids of the ∆ -P J theories When studying Jonsson theories, which are a wide subclass of inductive theories, it becomes necessary to study the so-called Jonsson sets.Similar problems are considered both in model theory and in universal algebra.This topic is related to the study of model-theoretical properties of positive fragments.These fragments are a definable closure of special subsets of the semantic model of a fixed Jonsson theory.In this article are considered model-theoretical properties of a new class of theories, namely ∆ -P J theories of countable first-order language.These are theories that are obtained from ∆-P J theories by replacing in the definition of ∆ -P J theories of morphisms (∆-continuities) with morphisms (∆-immersions).A number of results were obtained, ∆ -P J fragments, ∆ -P J sets, hybrids of ∆ -P J theories.All questions considered in this article are relevant in the study of Jonsson theories and their model classes.