LANGUAGES WITH ADDED QUANTIFIER “THERE EXIST AT LEAST χα”

Publisher Summary This chapter discusses languages with added quantifier. The study of these languages was suggested in Mostowski and Mostowski. The suggestion was taken up by Craig, who in turn caused several other people to get interested in the subject, including the author. Mostowski and Craig consider, however, a more general situation: they admit several quantifiers, quantifiers binding more than one variable, and, in particular, allow also other classes besides the Cα's in the semantical rules. The special case treated here recommends itself by its simpler intuitive content.