Probabilistic forcing in quantum logics
scientific article; zbMATH DE number 575497