The hierarchy theorem for second order generalized quantifiers

DOI10.2178/jsl/1140641168zbMath1100.03030OpenAlexW2020983073MaRDI QIDQ5477629

Juha Kontinen

Publication date: 5 July 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1140641168

zbMATH Keywords

finite structuresdefinability of second-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 (2)

Dependence logic with a majority quantifier ⋮ A characterization of definability of second-order generalized quantifiers with applications to non-definability

Cites Work

• The number of finite relational structures
• On second-order generalized quantifiers and finite structures

This page was built for publication: The hierarchy theorem for second order generalized quantifiers