Rank Hierarchies for Generalized Quantifiers

DOI10.1093/LOGCOM/EXQ019zbMath1232.03027OpenAlexW2009215498MaRDI QIDQ3006117

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

generalized quantifiersLindström quantifiersbijective gamequantifier rank hierarchy

Mathematics Subject Classification ID

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

Related Items (1)

Completeness and interpolation of almost-everywhere quantification over finitely additive measures

This page was built for publication: Rank Hierarchies for Generalized Quantifiers