No random reals in countable support iterations
preservation theorem for limit steps of countable support iterations of proper forcing notions
scientific article; zbMATH DE number 836173
scientific article