Iterated forcing and changing cofinalities
scientific article; zbMATH DE number 3747103
scientific article