The hierarchy theorem for generalized quantifiers (Q5687317)

From MaRDI portal
scientific article; zbMATH DE number 957320
Language Label Description Also known as
English
The hierarchy theorem for generalized quantifiers
scientific article; zbMATH DE number 957320

    Statements

    The hierarchy theorem for generalized quantifiers (English)
    0 references
    0 references
    0 references
    0 references
    15 June 1997
    0 references
    structures of a fixed similarity type
    0 references
    definability of quantifiers
    0 references
    model class
    0 references
    monotone quantifier
    0 references
    procedure
    0 references
    algorithm
    0 references
    generalized quantifier
    0 references
    finite structures
    0 references
    first-order logic
    0 references
    ordered structures
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references