Definability of second order generalized quantifiers
From MaRDI portal
Publication:964457
DOI10.1007/s00153-010-0177-8zbMath1206.03040OpenAlexW2169453869MaRDI QIDQ964457
Publication date: 15 April 2010
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10138/21232
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 ⋮ Unnamed Item ⋮ A characterization of definability of second-order generalized quantifiers with applications to non-definability ⋮ CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES ⋮ A remark on collective quantification ⋮ SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
Cites Work
This page was built for publication: Definability of second order generalized quantifiers
