Companions of fragments in admissible enrichments

Aibat R. Yeshkeyev, G.E. Zhumabekova

2018

Полный текст Открытый доступ: Gold Метаданные (CSL-JSON)

DOI 10.31489/2018m4/105-111

Достоверность данных 70 средняя

Как считается эта оценка

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

Аннотация

Companions of fragments in admissible enrichmentsIn this paper, model-theoretic properties of companions of fragments of special subsets in admissible enrichments are considered.Admissible enrichments are understood as enrichments of a signature that preserve the basic syntactic properties of the Jonsson theory under consideration.The study of the properties of companions of the Jonsson theory is related to the classical problematics of studying inductive theories, which was determined at the time by one of the founders of the theory of models A. Robinson.In this paper, the main properties of companion fragments of definable subsets of the semantic model of a given Jonsson theory is categoricity and it is considered.