Extending types preserving diagram

2025

Закрытый доступ Метаданные (CSL-JSON)
DOI 10.25205/1560-750x-2025-28-4-105-113
Достоверность данных 70 средняя
Как считается эта оценка

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

Аннотация

The possibility of extending $D$-types while preserving the diagram is being studied. It is proved that if a diagram $D$ of some $\lambda$-homogeneous model and a family $S$ of $D$-types such that the domain of each of them has the cardinality less than $\lambda$ and is contained in a $D$-set $B$ are given, then there exists a generic extension $V$ of the original model $V_0$ of the set theory ZFC in which every type from $S$ extends to a $D$-type over $B$, and in the model $V$ all cardinals of the model $V_0$ not greater than $\lambda^+$ are preserved. Conditions under which all cardinals of the model $V_0$ are preserved in the model $V$ are specified.