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 modelsgeneralized quantifierdefinabilitybranchingEhrenfeucht-Fraïssé gamerelativizationmonotone quantifierpolyadic liftspolyadic quantifiersRamseyficationresumption
Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40)
Related Items (5)
Dependence logic with generalized quantifiers: axiomatizations ⋮ A Dichotomy Result for Ramsey Quantifiers ⋮ Characterizing polynomial Ramsey quantifiers ⋮ A remark on collective quantification ⋮ The Computational Complexity of Quantified Reciprocals
This page was built for publication: Definability of polyadic lifts of generalized quantifiers