On fragments of higher order logics that on finite structures collapse to second order
scientific article; zbMATH DE number 6820465