The hybrids of the ∆ − P J theories

2020

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

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

Аннотация

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.