Unary quantifiers on finite models

DOI10.1023/A:1008209019899zbMath0880.03014OpenAlexW1489148631MaRDI QIDQ1361404

Jouko Väänänen

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

zbMATH Keywords

generalized quantifierdefinabilityEhrenfeucht-Fraïssé gameboundedly oscillated quantifierfinite modelmonotone quantifiersunary quantifiers

Mathematics Subject Classification ID

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