Hierarchies of monadic generalized quantifiers

DOI10.2307/2586699MaRDI QIDQ4527923zbMATH OpenOpenAlexFDO

Authors Kerkko Luosto

Publication date 16 July 2001

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

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

zbMATH Keywords

Härtig quantifierRamsey theoryuniverse-independent monadic quantifiers

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Ramsey theory (05D10)

Recommendations

• Rank hierarchies for generalized quantifiers
• The hierarchy theorem for generalized quantifiers
• Unary quantifiers on finite models
• Definability hierarchies of generalized quantifiers
• The hierarchy theorem for second order generalized quantifiers

Cited in

(15)

• Definability hierarchies of generalized quantifiers
• Counting modulo quantifiers on finite structures
• The monadic quantifier alternation hierarchy over grids and graphs
• Finite quantifier hierarchies in relational algebras
• On probabilistic elimination of generalized quantifiers
• On the expressibility hierarchy of Magidor-Malitz quantifiers
• scientific article; zbMATH DE number 4051591 (Why is no real title available?)
• The Härtig quantifier: a survey
• On vectorizations of unary generalized quantifiers
• scientific article; zbMATH DE number 1223636 (Why is no real title available?)
• Generic expansions of ω-categorical structures and semantics of generalized quantifiers
• scientific article; zbMATH DE number 1109359 (Why is no real title available?)
• scientific article; zbMATH DE number 7204430 (Why is no real title available?)
• Quantifiers on languages and codensity monads
• The hierarchy theorem for second order generalized quantifiers

This page was built for publication: Hierarchies of monadic generalized quantifiers

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