Descriptive set theory and definable forcing
scientific article; zbMATH DE number 2056305