On second-order generalized quantifiers and finite structures

DOI10.1016/S0168-0072(01)00082-3zbMath1011.03021MaRDI QIDQ1612478

Anders Andersson

Publication date: 22 August 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

finite model theorysecond-order generalized quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Second- and higher-order model theory (03C85)

Related Items (7)

Dependence logic with a majority quantifier ⋮ Extensions of MSO and the monadic counting hierarchy ⋮ A characterization of definability of second-order generalized quantifiers with applications to non-definability ⋮ Definability of second order generalized quantifiers ⋮ A remark on collective quantification ⋮ The hierarchy theorem for second order generalized quantifiers ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Definability hierarchies of generalized quantifiers
• On monadic NP vs monadic co-NP
• On a generalization of quantifiers
• The hierarchy theorem for generalized quantifiers

This page was built for publication: On second-order generalized quantifiers and finite structures