Definability of second order generalized quantifiers

We study definability of second-order generalized quantifiers. We show that the question whether a second-order generalized quantifier Q1 is definable in terms of another quantifier Q2, the base logic being monadic second-order logic, reduces to the question if a quantifier Q1 is definable in FO(Q2, <, +,

• Type: Journal
• Year: 2010
• Where: AML
• Authors: Juha Kontinen
• Keywords: AML 2010, Artificial Intelligence, Monadic Second-order, Monadic Second-order Majority, Second-order Generalized Quantifiers