The hierarchy theorem for generalized quantifiers

DOI10.2307/2275786MaRDI QIDQ5687317zbMATH OpenOpenAlexFDO

Authors Lauri Hella, Kerkko Luosto, Jouko Väänänen

Publication date 15 June 1997

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

Full work available at URL https://doi.org/10.2307/2275786

zbMATH Keywords

algorithmdefinability of quantifiersfinite structuresfirst-order logicgeneralized quantifiermodel classmonotone quantifierordered structuresprocedurestructures of a fixed similarity type

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Other model constructions (03C30) Logic with extra quantifiers and operators (03C80)

Recommendations

• The hierarchy theorem for second order generalized quantifiers
• On second-order generalized quantifiers and finite structures
• Natural deduction for generalized quantifiers
• Generalized quantifiers and first-order logic. II
• scientific article; zbMATH DE number 1453076
• scientific article; zbMATH DE number 1064109
• Questions about quantifiers
• The expressive power of finitely many generalized quantifiers
• Directions in generalized quantifier theory
• Definability of second order generalized quantifiers

Cites work

• An optimal lower bound on the number of variables for graph identification
• Definability hierarchies of generalized quantifiers
• Generalized Quantifiers and Logical Reducibilities
• Generalized quantifiers and pebble games on finite structures
• The number of finite relational structures
• Vector spaces and binary quantifiers

Cited in

(18)

• On second-order generalized quantifiers and finite structures
• Definability hierarchies of generalized quantifiers
• On the expressive power of monotone natural language quantifiers over finite models
• The expressive power of finitely many generalized quantifiers
• A characterization of definability of second-order generalized quantifiers with applications to non-definability
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• A note on the Kolmogorov data complexity and nonuniform logical definitions
• Characterizing definability of second-order generalized quantifiers
• Rank hierarchies for generalized quantifiers
• Finite Quantification in Hierarchic Theorem Proving
• On the expressibility hierarchy of Magidor-Malitz quantifiers
• Skolem Theory and Generalized Quantifiers
• scientific article; zbMATH DE number 4027448 (Why is no real title available?)
• scientific article; zbMATH DE number 1109359 (Why is no real title available?)
• Hierarchies of monadic generalized quantifiers
• The hierarchy theorem for second order generalized quantifiers
• A framework for comparing query languages in their ability to express Boolean queries
• Definability of second order generalized quantifiers

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

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