Rank hierarchies for generalized quantifiers

DOI10.1093/LOGCOM/EXQ019MaRDI QIDQ3006117zbMATH OpenOpenAlexFDO

Authors H. Jerome Keisler, Wafik Boulos Lotfallah

Publication date 10 June 2011

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/fe393a10d572f32ceb177c4dd4f549c098503920

zbMATH Keywords

bijective gamegeneralized quantifiersLindström quantifiersquantifier rank hierarchy

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Descriptive complexity and finite models (68Q19)

Recommendations

• The hierarchy theorem for generalized quantifiers
• Relativized logspace and generalized quantifiers over finite ordered structures
• Definability hierarchies of generalized quantifiers
• On the strictness of the quantifier structure hierarchy in first-order logic
• On second-order generalized quantifiers and finite structures

Cited in

(16)

• Quantifier rank for parity of embedded finite models.
• On second-order generalized quantifiers and finite structures
• Definability hierarchies of generalized quantifiers
• The expressive power of finitely many generalized quantifiers
• Finite quantifier hierarchies in relational algebras
• Completeness and interpolation of almost-everywhere quantification over finitely additive measures
• On the strictness of the quantifier structure hierarchy in first-order logic
• ON THE EXPRESSIVE POWER OF THE LOGICS L(Q_αⁿ¹,…,ⁿ_m)
• Henkin quantifiers: logic, games, and computation.
• scientific article; zbMATH DE number 408810 (Why is no real title available?)
• Relativized logspace and generalized quantifiers over finite ordered structures
• scientific article; zbMATH DE number 1104165 (Why is no real title available?)
• scientific article; zbMATH DE number 1163950 (Why is no real title available?)
• Hierarchies of monadic generalized quantifiers
• scientific article; zbMATH DE number 1834663 (Why is no real title available?)
• A representation theorem for languages with generalized quantifiers through back-and-forth methods

This page was built for publication: Rank hierarchies for generalized quantifiers

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