Interpolation and the projective Beth property in well-composed logics
scientific article; zbMATH DE number 6115032
scientific article