The hierarchy theorem for second order generalized quantifiers

DOI10.2178/JSL/1140641168MaRDI QIDQ5477629zbMATH OpenOpenAlexFDO

Authors 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

definability of second-order generalized quantifiersfinite structures

Mathematics Subject Classification ID

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

Recommendations

• The hierarchy theorem for generalized quantifiers
• On second-order generalized quantifiers and finite structures
• Definability of second order generalized quantifiers
• Characterizing definability of second-order generalized quantifiers
• Generalized quantifiers and first-order logic. II
• Definability hierarchies of generalized quantifiers
• Second-order quantifiers and the complexity of theories
• Hierarchies of monadic generalized quantifiers
• scientific article; zbMATH DE number 1163945
• On a hierarchy involving transitive closure logic and existential second-order quantification

Cites work

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

Cited in

(10)

• On second-order generalized quantifiers and finite structures
• Definability hierarchies of generalized quantifiers
• A characterization of definability of second-order generalized quantifiers with applications to non-definability
• Characterizing definability of second-order generalized quantifiers
• Dependence logic with a majority quantifier
• scientific article; zbMATH DE number 1303431 (Why is no real title available?)
• Hierarchies of monadic generalized quantifiers
• The hierarchy theorem for generalized quantifiers
• Level Two of the Quantifier Alternation Hierarchy over Infinite Words
• Definability of second order generalized quantifiers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477629)