Definability of polyadic lifts of generalized quantifiers
From MaRDI portal
Publication:1361405
DOI10.1023/A:1008215718090zbMath0880.03015MaRDI QIDQ1361405
Dag Westerståhl, Lauri Hella, Jouko Väänänen
Publication date: 28 January 1998
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
finite models; generalized quantifier; definability; branching; Ehrenfeucht-Fraïssé game; relativization; monotone quantifier; polyadic lifts; polyadic quantifiers; Ramseyfication; resumption
03C80: Logic with extra quantifiers and operators
03C13: Model theory of finite structures
03C40: Interpolation, preservation, definability
Related Items
Characterizing polynomial Ramsey quantifiers, A remark on collective quantification, Dependence logic with generalized quantifiers: axiomatizations, A Dichotomy Result for Ramsey Quantifiers, The Computational Complexity of Quantified Reciprocals