Model-theoretic properties of semantic pairs and e.f.c.p. in Jonsson spectrum

2023

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

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

Аннотация

The article is committed to the study of model-theoretic properties of stable hereditary Jonsson theories, wherein we consider Jonsson theories that retain jonssonnes for any permissible enrichment. The paper proves a generalization of stability that relates stability and classical stability for Jonsson spectrum. This paper introduces new concepts such as “existentially finite cover property” and “semantic pair”. The basic properties of e.f.c.p and semantic pairs in the class of stable perfect Jonsson spectrum are studied.