Henkin and function quantifiers (Q1121872)

The authors introduce a variant of the Henkin quantifier, called function quantifier. Function quantifiers can express such notions as well- ordering, power set, and they are stronger than their corresponding Chang-Magidor-Malitz quantifiers. Suitable generalizations of function quantifiers are put in relation with partially ordered quantifiers, and their relative expressive powers are compared. In the final section, the authors concentrate on sublogics only containing unary predicates.