Boolean-valued set theory and forcing
scientific article; zbMATH DE number 3563087