Definability hierarchies of generalized quantifiers (Q1824614): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 10:54, 1 February 2024

scientific article
Language Label Description Also known as
English
Definability hierarchies of generalized quantifiers
scientific article

    Statements

    Definability hierarchies of generalized quantifiers (English)
    0 references
    0 references
    1989
    0 references
    The author develops a general framework for proving that a quantifier is not definable in terms of n-ary quantifiers. He shows in particular that many logics existing in the literature can express a hierarchy \(Q_ 1,Q_ 2,..\). of such irreducible quantifiers. Back-and-forth techniques are applied to study the interpolation problems of certain cardinality logics.
    0 references
    0 references
    definability
    0 references
    back-and-forth
    0 references
    Lindström quantifier
    0 references
    abstract logic
    0 references
    generalized quantifier
    0 references
    irreducible quantifiers
    0 references
    interpolation
    0 references
    cardinality logics
    0 references