Some model theory for monotone quantifiers

A generalization of the existential and universal quantifier, the monotone quantifiers, are studied. It is shown that the model theory for monotone quantifiers behaves very much like classical model theory. Completeness theorems, definability theorems and preservation theorems are given. Ultraproducts, reduced products and Back and Forth arguments are studied.This work is part of the research program of the G.N.S.A.G. group of the Italian C.N.R.