The hierarchy theorem for second order generalized quantifiers
Juha Kontinen · Journal of Symbolic Logic · 2006
Abstract We study definability of second order generalized quantifiers on finite structures. Our main result says that for every second order type t there exists a second order generalized quantifier of type t which is not definable in the extension of second order logic by all second order generalized quantifiers of types lower than t.