Multifunction algebras and the provability of \(PH\downarrow\)
scientific article; zbMATH DE number 1501509
scientific article