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 ...

This is a preview. Log in through your library . Abstract In this paper we describe a new method of elimination of quantifiers for the theories of algebraically closed fields and theory of ordered ...