On the absence of finite approximation relative to model completeness in propositional provability logic
scientific article; zbMATH DE number 6654416