Extending Types Preserving Diagrams

2026

Закрытый доступ Метаданные (CSL-JSON)
DOI 10.1134/s1055134426010050
Достоверность данных 70 средняя
Как считается эта оценка

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

Аннотация

We consider the question on diagram preserving extension of $$ D $$ -types. Let $$ D $$ denote the diagram of a $$ \lambda $$ -homogeneous model and let $$ S $$ be a set of $$ D $$ -types whose domains are subsets of cardinality less than $$ \lambda $$ of a suitable $$ D $$ -set $$ B $$ . We prove that a model $$ V_0 $$ of the set theory ZFC admits a generic extension $$ V $$ such that each type in $$ S $$ extends to a $$ D $$ -type over $$ B $$ ; moreover, if a cardinal of $$ V_0 $$ does not exceed $$ \lambda $$ and $$ \lambda =\kappa ^+ $$ then it is preserved in $$ V $$ . We also find conditions for preservation of all cardinals of $$ V_0 $$ in $$ V $$ .