Unary quantifiers on finite models
From MaRDI portal
Publication:1361404
DOI10.1023/A:1008209019899zbMath0880.03014OpenAlexW1489148631MaRDI QIDQ1361404
Publication date: 28 January 1998
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008209019899
generalized quantifierdefinabilityEhrenfeucht-Fraïssé gameboundedly oscillated quantifierfinite modelmonotone quantifiersunary quantifiers
Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)
Related Items (7)
A Dichotomy Result for Ramsey Quantifiers ⋮ Characterizing polynomial Ramsey quantifiers ⋮ On probabilistic elimination of generalized quantifiers ⋮ Game-based notions of locality over finite models ⋮ The Computational Complexity of Quantified Reciprocals ⋮ Counting modulo quantifiers on finite structures ⋮ On the expressive power of monotone natural language quantifiers over finite models
This page was built for publication: Unary quantifiers on finite models