Extending Types Preserving Diagrams

2026

Closed access Metadata (CSL-JSON)
DOI 10.1134/s1055134426010050
Data confidence 70 medium
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

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 $$ .