Extending types preserving diagram

2025

Closed access Metadata (CSL-JSON)
DOI 10.25205/1560-750x-2025-28-4-105-113
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

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.