Forcing companions of Jonsson AP-theories

BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2022

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

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

Аннотация

This article is devoted to the study of the forcing companions of the Jonsson AP-theories in the enriched signature. It is proved that the forcing companion of the theory does not change when expanding the theories under consideration, which have some properties, by adding new predicate and constant symbols to the language. The model-theoretic results obtained in this paper in general form are supported by examples from differential algebra. An approach in combining a Jonsson and non-Jonsson theories is demonstrated. In this paper, for the first time in the history of Model Theory. This will allow us to further develop the methods of research of Jonsson theories and expand the apparatus for studying incomplete theories.