The Definitional Side of the Forcing
scientific article; zbMATH DE number 6863506